package deriving

You can search for identifiers within the package.

in-package search v0.2.0

Extension to OCaml for deriving functions from type declarations

Install

sha256=080a1c983cee6f72a6cc28d9ddf056eb6d4e81daf58c192970e29a5ba03f63fa

md5=59558a23583fbc0c7c139f6ed22fbb54

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