Equality on maybestd/core/types/maybe: V -> V
.
Convert a maybe2std/core/types/maybe2: (V, V) -> V
type to a boolean, equivalent to is-just2std/core/types/is-just2: forall<a,b> (maybe2 : maybe2<a,b>) -> bool
.
Order on maybestd/core/types/maybe: V -> V
values.
Convert a maybe2<a,b>
value to (a,b)
, using the nothing
parameter for Nothing2std/core/types/Nothing2: forall<a,b> maybe2<a,b>
.
Get the value of the Juststd/core/types/Just: forall<a> (value : a) -> maybe<a>
constructor or raise an exception.
Match a maybe2std/core/types/maybe2: (V, V) -> V
value and either return a default value on Nothing2std/core/types/Nothing2: forall<a,b> maybe2<a,b>
or apply a function to the value on Just2std/core/types/Just2: forall<a,b> (fst : a, snd : b) -> maybe2<a,b>
.
Show a maybe2std/core/types/maybe2: (V, V) -> V
type.
Get the value of the Juststd/core/types/Just: forall<a> (value : a) -> maybe<a>
constructor or raise an exception.
Standard
maybe2std/core/types/maybe2: (V, V) -> V
functions which, unlikemaybestd/core/types/maybe: V -> V
, can contain 2 values to avoid boxing allocations..