Up
Module
Make2
(
M
:
Core.Std.Monad.Basic2
) :
S2
with
type
('a, 'b)
t
:= ('a, 'b)
M.t
Parameters
M
:
Core.Std.Monad.Basic2
Signature
include
Core.Std.Monad.S2
type
('a, 'e) t
include
Monad_intf.Infix2
with
type
('a, 'e)
t
:= ('a, 'e)
t
type
('a, 'e) t
val
(>>=) : ('a, 'e)
t
-> ('a -> ('b, 'e)
t
) -> ('b, 'e)
t
val
(>>|) : ('a, 'e)
t
-> ('a -> 'b) -> ('b, 'e)
t
include
Monad_intf.Syntax2
with
type
('a, 'e)
t
:= ('a, 'e)
t
type
('a, 'e) t
module
Let_syntax
: sig .. end
module
Monad_infix
:
Monad_intf.Infix2
with
type
('a, 'e)
t
:= ('a, 'e)
t
val
bind : ('a, 'e)
t
-> ('a -> ('b, 'e)
t
) -> ('b, 'e)
t
val
return : 'a -> ('a, _)
t
val
map : ('a, 'e)
t
-> f:('a -> 'b) -> ('b, 'e)
t
val
join : (('a, 'e)
t
, 'e)
t
-> ('a, 'e)
t
val
ignore_m : (_, 'e)
t
-> (unit, 'e)
t
val
all : ('a, 'e)
t
list -> ('a list, 'e)
t
val
all_ignore : (unit, 'e)
t
list -> (unit, 'e)
t
val
map_monad : 'a list -> f:('a -> ('b, 'c)
t
) -> ('b list, 'c)
t
val
map_monad_ignore : 'a list -> f:('a -> (unit, 'b)
t
) -> (unit, 'b)
t