Module CCResult.TraverseSource

Parameters

module M : MONAD

Signature

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