Up
Module
Monad_infix
:
Infix2
with
type
('a, 'e)
t
:= ('a, 'e)
t
Signature
type
('a, 'e) t
val
(>>=) : ('a, 'e)
t
-> ('a -> ('b, 'e)
t
) -> ('b, 'e)
t
val
(>>|) : ('a, 'e)
t
-> ('a -> 'b) -> ('b, 'e)
t