1 # Optional values (Maybe)
\r
3 The type `Maybe a` can be used in situations where some value can
\r
4 not be necessarily computed. Its values are either `Nothing` or
\r
5 `Just v` where the type of `v` is `a`.
\r
7 ::data[Builtin/Maybe]
\r
8 ::value[Prelude/fromJust, Prelude/fromMaybe, Prelude/execJust, Prelude/filterJust, Prelude/orElse, Prelude/elemMaybe]
\r