package travesty

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

On_monad is a functor that transforms its argument monad.

Parameters

module M : Base.Monad.S

Signature

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

lift x lifts x from the inner monad to the outer one.