applicative(A) = [A] | fn(term(), A) | either(term(), A) | maybe(A)
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
traversable(A) = [A] | map(A)
sequence/2 | |
sequencez/2 | |
traverse/2 |
sequence(Traversable::traversable(applicative(A)), Mod::atom()) -> applicative(traversable(A))
sequencez(Traversable::traversable(fn(applicative(A))), Mod::atom()) -> applicative(traversable(A))
traverse(F::fn(A, applicative(B)), Traversable::traversable(A)) -> applicative(traversable(B))
Generated by EDoc