Behaviours: do_functor, do_monoid, do_semigroup.
applicative(A) = [A] | fn(term(), A) | either(term(), A) | maybe(A)
either(A, B) = {error, A} | {ok, B}
fn(A, B) = fun((A) -> B)
map(A) = #{term() := A}
maybe(A) = {just, A} | nothing
append/2 | |
fmap/2 | |
mempty/0 | |
sequence/1 |
mempty() -> map(term())
sequence(Map::map(applicative(A))) -> applicative(map(A))
Generated by EDoc