Module do_traversable

The Traversable Type Class.

This module defines the do_traversable behaviour.
Required callback functions: traverse/2, sequence/1.

Description

The Traversable Type Class.

applicative(A) = [A] | fn(term(), A) | either(term(), A) | maybe(A)

either(A, B) = {error, A} | {ok, B}

fn(A, B) = fun((A) -> B)

maybe(A) = {just, A} | nothing

traversable(A) = [A] | either(term(), A) | maybe(A)

sequence(Traversable::traversable(applicative(A)), T::atom(), A::atom()) -> applicative(traversable(A))

traverse(F::fn(A, applicative(B)), Traversable::traversable(A)) -> applicative(traversable(B))

Generated by EDoc