package deriving

  1. Overview
  2. Docs
package deriving
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 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