Module I.All

Similar to Monad.all for lists -- combine and lift the monads to outside the interface.

Parameters

module M : Base.Monad.S

Signature

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