Equality on maybestd/core/types/maybe: V -> V.

Convert a maybe type to a boolean, equivalent to is-juststd/core/types/is-just: forall<a> (maybe : maybe<a>) -> bool.

Order on maybestd/core/types/maybe: V -> V values.

Convert a maybestd/core/types/maybe: V -> V<a> value to a, using the nothing parameter for Nothingstd/core/types/Nothing: forall<a> maybe<a>.

Get the value of the Juststd/core/types/Just: forall<a> (value : a) -> maybe<a> constructor or raise an exception with error-msg.

Match a maybestd/core/types/maybe: V -> V value and either return a default value on Nothingstd/core/types/Nothing: forall<a> maybe<a> or apply a function to the value on Juststd/core/types/Just: forall<a> (value : a) -> maybe<a>.

Order two maybestd/core/types/maybe: V -> V values in ascending order.

Show a maybestd/core/types/maybe: V -> V type.

Get the value of the Juststd/core/types/Just: forall<a> (value : a) -> maybe<a> constructor or raise an exception.