package jhupllib

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package jhupllib

jhupllib
- Jhupllib
- Jhupllib_eager_nondeterminism
  - Nondeterminism_monad
  - Nondeterminism_monad_sig
- Jhupllib_logger_utils
- Jhupllib_monad_utils
  - Make
    
    M
  - Utils
- Jhupllib_multimap
  - Make
    
    Key_ord
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Exceptionless
    
    Labels
    
    Value_ord
  - Multimap_sig
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Exceptionless
    
    Labels
- Jhupllib_multimap_pp
  - Make
    
    K_pp
    
    M
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Exceptionless
    
    Labels
    
    V_pp
- Jhupllib_multimap_to_yojson
  - Make
    
    K_yojson
    
    M
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    S
    
    Exceptionless
    
    Labels
    
    V_yojson
- Jhupllib_nondeterminism
  - Nondeterminism_monad
  - Nondeterminism_monad_sig
- Jhupllib_pp_utils
  - Map_pp
    
    M
    
    Exceptionless
    
    Infix
    
    Labels
    
    P
  - Pp
  - Set_pp
    
    P
    
    S
    
    Exceptionless
    
    Labels
- Jhupllib_string_utils
- Jhupllib_uids
  - Make
  - Uid_module
- Jhupllib_utils
- Jhupllib_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
- Jhupllib_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

A functor to produce a pretty-printing utility module.

Parameters

module R : Escorted_registry

module Y : Jhupllib_yojson_utils.To_yojson_type with type t = R.elt

Signature

val escorted_witness_to_yojson : R.escorted_witness -> Yojson.Safe.t

A pretty printer for escorted witnesses (given a pretty printer for their values.