Module CCList.Traverse

Parameters

M : MONAD

Signature

val sequence_m : 'a M.t t -> 'a t M.t

val fold_m : ('b -> 'a -> 'b M.t) -> 'b -> 'a t -> 'b M.t

val map_m : ('a -> 'b M.t) -> 'a t -> 'b t M.t

val map_m_par : ('a -> 'b M.t) -> 'a t -> 'b t M.t

Like map_m but map_m_par f (x::l) evaluates f x and f l "in parallel" before combining their result (for instance in Lwt).