maybe package:yaya
Given a default value, a function and a
Maybe value, yields the
default value if the
Maybe value is
Nothing and applies
the function to the value stored in the
Just otherwise.
The type of strict optional values.
Turns part of a structure inductive, so it can be analyzed, without
forcing the entire tree.
Converts exceptional divergence to non-termination.
Isomorphic to
(a, Maybe b), it’s also the pattern
functor for non-empty lists.
Given a default value and a
Maybe, yield the default value if
the
Maybe argument is
Nothing and extract the value out
of the
Just otherwise.