Packages

do

1.4.0
2.0.2 1.10.3 1.10.2 1.10.1 1.10.0 1.9.2 1.9.1 1.9.0 1.8.1 1.8.0 1.7.1 1.7.0 1.6.0 1.5.0 1.4.1 1.4.0 1.2.2 1.2.0 1.1.2 1.1.1 1.1.0 1.0.2

Monads, Functors and Do-Notation for Erlang

HexDocs

Current section

Files

Jump to
Readme
22 Versions
0 Dependencies
Dependants
Files
Activity
do include do_types.hrl
Raw

include/do_types.hrl 

%%%_* Types ===================================================================

-type fn(A)          :: fun(() -> A).



-type fn(A, B)       :: fun((A) -> B).



-type fn(A, B, C)    :: fun((A, B) -> C).



-type map(A)         :: #{_ := A}.



-type either(A, B)   :: {error, A} | {ok, B}.



-type maybe(A)       :: {ok, A} | error.



-type traversable(A) :: [A] | map(A).



-type applicative(A) :: [A]

                        | fn(_, A)

                        | either(_, A)

                        | maybe(A).



-type functor(A)     :: [A]

                        | map(A)

                        | fn(_, A)

                        | either(_, A)

                        | maybe(A).



-type monad(A)       :: [A]

                        | either(_, A)

                        | maybe(A).