Maybe Type Module

some : a -> Maybe(a)

Construct a Some value

none : Maybe(Dec)

Construct a None value

is_eq : Maybe(a), Maybe(a) -> Bool where { a.is_eq : a, a -> Bool }

Compare to Maybe values for equality

map : Maybe(a), (a -> b) -> Maybe(b)

Map a function over the value inside a Maybe, if it exists

with_default : Maybe(a), a -> a

Extract the value from a Maybe, or return a default if it is None

from_try : Try(a, err) -> Maybe(a)

Convert a Try value to a Maybe