Module do_monad

The Monad Type Class.

This module defines the do_monad behaviour.
Required callback functions: bind/2, do/2, then/2, lift/1, liftm/2.

Description

The Monad Type Class.

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

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

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

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

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

do(Monad::monad(A), Fs::[fn(A, monad(B)) | fn(monad(B))]) -> monad(B)

lift(F::fn(A, B), Mod::atom()) -> fn(monad(A), monad(B))

liftm(F::function(), Monads::[monad(term())]) -> monad(term())

liftmz(F::function(), Ts::[fn(monad(term()))]) -> monad(term())

then(Monad::monad(term()), F::fn(monad(A))) -> monad(A)

Generated by EDoc