Module CCKList.TraverseSource

Parameters

module M : MONAD

Signature

Sourceval sequence_m : 'a M.t t -> 'a t M.t
Sourceval fold_m : ('b -> 'a -> 'b M.t) -> 'b -> 'a t -> 'b M.t
Sourceval map_m : ('a -> 'b M.t) -> 'a t -> 'b t M.t