Module do_map

The Map Functor.

Behaviours: do_functor, do_monoid, do_semigroup.

Description

The Map Functor.

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)

map()

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

maybe()

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

Function Index

append/2
fmap/2
mempty/0
sequence/1

Function Details

append/2

append(Map1::map(A), Map2::map(A)) -> map(A)

fmap/2

fmap(F::fn(A, B), Map::map(A)) -> map(B)

mempty/0

mempty() -> map(term())

sequence/1

sequence(Map::map(applicative(A))) -> applicative(map(A))


Generated by EDoc