module Traverse(M:MONAD):sig..end
| Parameters: |
|
val sequence_m : 'a M.t CCList.t -> 'a CCList.t M.t
val fold_m : ('b -> 'a -> 'b M.t) -> 'b -> 'a CCList.t -> 'b M.t
val map_m : ('a -> 'b M.t) -> 'a CCList.t -> 'b CCList.t M.t
val map_m_par : ('a -> 'b M.t) -> 'a CCList.t -> 'b CCList.t M.tmap_m but map_m_par f (x::l) evaluates f x and
f l "in parallel" before combining their result (for instance
in Lwt).