package travesty

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

S is the signature of monad transformers.

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.