travesty

Traversable containers, monad extensions, and more
IN THIS PACKAGE
Module type Travesty . Monad_transform . S
type 'a t

The type of the outer transformer.

module On_monad (M : Base.Monad.S) : S_fixed with type 'a t := 'a t and module Inner := M

On_monad is a functor that transforms its argument monad.