Module do_maybe

append(X1::maybe(A), X2::maybe(A)) -> maybe(A)

bind(Maybe::maybe(A), F::fn(A, maybe(B))) -> maybe(B)

cat_maybes(Maybes::[maybe(A)]) -> [A]

do(Maybe::maybe(A), Fs::[fn(A, maybe(B)) | fn(maybe(B))]) -> maybe(B)

fmap(F::fn(A, B), Maybe::maybe(A)) -> maybe(B)

foldr(F::fn(A, B, B), B, X3::maybe(A)) -> B

from_just(Maybe::maybe(A)) -> A

from_maybe(A, Maybe::maybe(A)) -> A

is_just(Maybe::maybe(term())) -> boolean()

is_nothing(A::maybe(term())) -> boolean()

lift(F::fn(A, B)) -> fn(monad(A), monad(B))

liftA2(Maybe::maybe(fn(A, B)), Maybe::maybe(A)) -> maybe(B)

liftm(F::function(), Maybes::[maybe(A)]) -> maybe(A)

list_to_maybe(X1::[A]) -> maybe(A)

map_maybes(F::fn(A, maybe(B)), List::[A]) -> [B]

maybe(B, F::fn(A, B), Maybe::maybe(A)) -> B

maybe_to_list(Maybe::maybe(A)) -> [A]

mempty() -> maybe(term())

pure(A) -> maybe(A)

sequence(Maybe::maybe(applicative(A))) -> applicative(maybe(A))

then(Maybe::maybe(term()), F::fn(maybe(A))) -> maybe(A)

traverse(F::fn(A, applicative(B)), Maybe::maybe(A)) -> applicative(maybe(B))