Up
Module
Result
Signature
type
('a, 'e) t = ('a, 'e)
Core.Std.Result.t
t
val
(>>=) : ('a, 'e)
t
-> ('a -> ('b, 'e)
t
) -> ('b, 'e)
t
val
(>>|) : ('a, 'e)
t
-> ('a -> 'b) -> ('b, 'e)
t
module
Let_syntax
: sig .. end
module
Monad_infix
: sig .. end
val
bind : ('a, 'e)
t
-> ('a -> ('b, 'e)
t
) -> ('b, 'e)
t
val
return : 'a -> ('a, 'b)
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 : ('a, '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
fail : 'e -> ('a, 'e)
t
val
map_error : ('a, 'e1)
t
-> f:('e1 -> 'e2) -> ('a, 'e2)
t