Module do_applicative

The Applicative Type Class.

This module defines the do_applicative behaviour.
Required callback functions: pure/1, liftA2/2.

Description

The Applicative 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

liftA2(A1::applicative(fn(A, B)), A2::applicative(A)) -> applicative(B)

Generated by EDoc