Up
Module type
S2
=
Monad_intf.S2
Signature
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