Module CCResult.Traverse

Parameters

M : MONAD

Signature

val sequence_m : ('a M.t'err) t -> ('a'err) t M.t
val fold_m : ('b -> 'a -> 'b M.t) -> 'b -> ('a'err) t -> 'b M.t
val map_m : ('a -> 'b M.t) -> ('a'err) t -> ('b'err) t M.t
val retry_m : int -> (unit -> ('a'err) t M.t) -> ('a'err list) t M.t