Behaviours: do_applicative, do_functor, do_monad.
either(A, B) = {error, A} | {ok, B}
fn(A, B) = fun((A) -> B)
fn(A) = fun(() -> A)
map(A) = #{term() := A}
maybe(A) = {just, A} | nothing
monad(A) = [A] | either(term(), A) | maybe(A)
traversable(A) = [A] | map(A)
bind/2 | |
cat_maybes/1 | |
do/2 | |
fmap/2 | |
from_just/1 | |
from_maybe/2 | |
is_just/1 | |
is_nothing/1 | |
lift/1 | |
liftA2/2 | |
liftm/2 | |
liftmz/2 | |
list_to_maybe/1 | |
map_maybes/2 | |
maybe/3 | |
maybe_to_list/1 | |
pure/1 | |
sequence/1 | |
then/2 |
cat_maybes(Maybes::[maybe(A)]) -> [A]
from_just(X1::maybe(A)) -> A
from_maybe(A, X2::maybe(A)) -> A
is_just(X1::maybe(term())) -> boolean()
is_nothing(A::maybe(term())) -> boolean()
list_to_maybe(X1::[A]) -> maybe(A)
maybe_to_list(X1::maybe(A)) -> [A]
pure(A) -> maybe(A)
sequence(Maybes::traversable(maybe(A))) -> maybe(traversable(A))
Generated by EDoc