Module CCResult.Traverse

Parameters

module 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