[hope.git] / src / hope_gen_monad.erl

-module(hope_gen_monad).

-type t(_A) ::
    term().

-callback return(A) ->
    t(A).

-callback map(t(A), fun((A) -> (B))) ->
    t(B).

%% @doc "pipe" is equivalent to traditional "bind", in general use-case, but is
%% arguably more useful for composition in Erlang's syntactic setting.
%% @end
-callback pipe([fun((A) -> t(B))], A) ->
    t(B).
Commit	Line	Data
b69220d7	1	-module(hope_gen_monad).
4af0774b SK	2
	3	-type t(_A) ::
	4	term().
	5
	6	-callback return(A) ->
	7	t(A).
	8
	9	-callback map(t(A), fun((A) -> (B))) ->
	10	t(B).
	11
	12	%% @doc "pipe" is equivalent to traditional "bind", in general use-case, but is
	13	%% arguably more useful for composition in Erlang's syntactic setting.
	14	%% @end
	15	-callback pipe([fun((A) -> t(B))], A) ->
	16	t(B).