[{"name":"Possibly","comment":" In short:\n\n  - `Never` marks states as impossible\n\n        empty : Is Possibly Empty filling_\n\n  - [`Possibly`](#Possibly) marks states as possible\n\n        top : Is Never Empty (StackFilled element) -> element\n\n  - → you can carry over non-emptiness-information\n\n        import Fillable exposing (Is(..), toFillingOrIfEmpty)\n\n        type Focus item possiblyOrNever hole\n            = Item item\n            | Hole possiblyOrNever\n\n        type Hole\n            = HoleTag Never\n\n        toFocus :\n            Is possiblyOrNever Empty value\n            -> Focus value possiblyOrNever Hole\n        toFocus =\n            \\fillable ->\n                case fillable of\n                    Empty possiblyOrNever ->\n                        Hole possiblyOrNever\n\n                    Filled value ->\n                        value |> Item\n\n    or\n\n        toFocus =\n            \\fillable ->\n                fillable\n                    |> Fillable.map Item\n                    |> toFillingOrIfEmpty Hole\n\n@docs Possibly\n\nIf you still have questions, check out the [readme](https://dark.elm.dmy.fr/packages/lue-bird/elm-allowable-state/latest/).\n\n","unions":[{"name":"Possibly","comment":" Marks a state as possible to occur.\n\n\n#### in results\n\n    fromMaybe : Maybe value -> Is value Possibly Empty\n\n    fromList : List element -> Is (StackFilled element) Possibly Empty\n\n\n#### in type declarations\n\n    type alias Model =\n        WithoutConstructorFunction\n            { selected : Is Choice Possibly Empty\n            , planets : Is (StackFilled Planet) Possibly Empty\n            , searchKeyWords : Is (StackFilled String) Never Empty\n            }\n\n    type alias WithoutConstructorFunction record =\n        record\n\nwhere `WithoutConstructorFunction` stops the compiler from creating a positional constructor function for `Model`.\n\nRead more about the general idea in the\n[module documentation](https://dark.elm.dmy.fr/packages/lue-bird/elm-allowable-state/latest/Possible).\nor [readme](https://dark.elm.dmy.fr/packages/lue-bird/elm-allowable-state/latest/).\n\n","args":[],"cases":[["Possible",[]]]}],"aliases":[],"values":[],"binops":[]}]