Packages

do

1.10.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_monad.hrl
Raw

include/do_monad.hrl 

-include("do_traversable.hrl").



-define(bind(Monad, F),       do:bind(Monad, F)).

-define(then(Monad1, Monad2), do:then(Monad1, fun() -> Monad2 end)).

-define(do(Monad, Fs),        do:do(Monad, Fs)).



-ifndef(thunk).

  -define(thunk(A), fun() -> A end).

-endif.



-define(liftm(F, A1),

        do_monad:liftmz(F, [?thunk(A1)])).

-define(liftm(F, A1, A2),

        do_monad:liftmz(F, [?thunk(A1), ?thunk(A2)])).

-define(liftm(F, A1, A2, A3),

        do_monad:liftmz(F, [?thunk(A1), ?thunk(A2), ?thunk(A3)])).

-define(liftm(F, A1, A2, A3, A4),

        do_monad:liftmz(F, [?thunk(A1), ?thunk(A2), ?thunk(A3), ?thunk(A4)])).

-define(liftm(F, A1, A2, A3, A4, A5),

        do_monad:liftmz(F, [?thunk(A1), ?thunk(A2), ?thunk(A3), ?thunk(A4), ?thunk(A5)])).

-define(liftm(F, A1, A2, A3, A4, A5, A6),

        do_monad:liftmz(F, [?thunk(A1), ?thunk(A2), ?thunk(A3), ?thunk(A4), ?thunk(A5), ?thunk(A6)])).

-define(liftm(F, A1, A2, A3, A4, A5, A6, A7),

        do_monad:liftmz(F, [?thunk(A1), ?thunk(A2), ?thunk(A3), ?thunk(A4), ?thunk(A5), ?thunk(A6), ?thunk(A7)])).

-define(liftm(F, A1, A2, A3, A4, A5, A6, A7, A8),

        do_monad:liftmz(F, [?thunk(A1), ?thunk(A2), ?thunk(A3), ?thunk(A4), ?thunk(A5), ?thunk(A6), ?thunk(A7), ?thunk(A8)])).

-define(liftm(F, A1, A2, A3, A4, A5, A6, A7, A8, A9),

        do_monad:liftmz(F, [?thunk(A1), ?thunk(A2), ?thunk(A3), ?thunk(A4), ?thunk(A5), ?thunk(A6), ?thunk(A7), ?thunk(A8), ?thunk(A9)])).