Module do_traversable

The Traversable Type Class.

Description

The Traversable Type Class.

Data Types

applicative()

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

either()

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

fn()

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

fn()

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

map()

map(A) = #{term() := A}

maybe()

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

traversable()

traversable(A) = [A] | map(A)

Function Index

sequence/2
sequencez/2
traverse/2

Function Details

sequence/2

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

sequencez/2

sequencez(Traversable::traversable(fn(applicative(A))), Mod::atom()) -> applicative(traversable(A))

traverse/2

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


Generated by EDoc