package jhupllib

You can search for identifiers within the package.

in-package search v0.2.0

package jhupllib

jhupllib
- Jhupllib
  - Eager_nondeterminism
    
    Nondeterminism_monad
    
    Nondeterminism_monad_sig
  - Logger_utils
  - Monads
    
    MakeUtils
    
    M
    
    Monad
    
    MonadPlus
    
    MonadPlusWithUtils
    
    MonadWithUtils
    
    Utils
  - Multimap
    
    Make
    
    Key_ord
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Exceptionless
    
    Labels
    
    Value_ord
    
    Multimap_sig
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Exceptionless
    
    Labels
  - Multimap_pp
    
    Make
    
    K_pp
    
    M
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Exceptionless
    
    Labels
    
    V_pp
  - Multimap_to_yojson
    
    Make
    
    K_yojson
    
    M
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Exceptionless
    
    Labels
    
    V_yojson
  - Nondeterminism
    
    Nondeterminism_monad
    
    Nondeterminism_monad_sig
  - Pp_utils
    
    Map_pp
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    P
    
    Pp
    
    Set_pp
    
    P
    
    S
    
    Exceptionless
    
    Labels
  - String_utils
  - Uids
    
    Make
    
    Uid_module
  - Utils
  - Witness_protection
    
    Escorted_registry
    
    Make
    
    S
    
    Make_escorted
    
    S
    
    Make_pp
    
    P
    
    R
    
    Make_to_yojson
    
    R
    
    Y
    
    Pp_utils
    
    Registry
    
    Spec
    
    To_yojson_utils
  - Yojson_utils
    
    Map_to_yojson
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    Y
    
    Set_to_yojson
    
    S
    
    Exceptionless
    
    Labels
    
    Y
    
    To_yojson_type

Legend:
Library
Module
Module type
Parameter
Class
Class type

This module contains an interface for monads.

module type Monad = sig ... end

module type MonadPlus = sig ... end

module type Utils = sig ... end

module type MonadWithUtils = sig ... end

module type MonadPlusWithUtils = sig ... end

module MakeUtils (M : Monad) : Utils with type 'a m = 'a M.m