Deriving_monad (p.deriving.0.8.1.doc.deriving.runtime.Deriving

module type Monad = sig ... end

module type MonadPlus = sig ... end

module MonadDefault (M : sig ... end) : Monad with type +'a m = 'a M.m

module Monad_option : MonadPlus with type 'a m = 'a option

module Monad_list : MonadPlus with type 'a m = 'a list

module IO : sig ... end

module type MonadUtilsSig = sig ... end

module MonadUtils (M : Monad) : MonadUtilsSig with type 'a m = 'a M.m

module type MonadPlusUtilsSig = sig ... end

module MonadPlusUtils
  (M : MonadPlus) : 
  MonadPlusUtilsSig with type 'a m = 'a M.m

module MonadPlusUtils_option : 
  MonadPlusUtilsSig with type 'a m = 'a Monad_option.m

module MonadPlusUtils_list : MonadPlusUtilsSig with type 'a m = 'a Monad_list.m

module Monad_IO : MonadUtilsSig with type 'a m = 'a IO.m

module type Monad_state_type = sig ... end

module Monad_state
  (S : sig ... end) : 
  Monad_state_type with type state = S.state