Documentation · typerep v0.14.0

typerep

Typerep is a library for runtime types

Version

IN THIS PACKAGE

library typerep
- module Typerep_lib
  - module Make_typename
    
    module Make0
    
    argument 1-X
    
    module Make1
    
    argument 1-X
    
    module Make2
    
    argument 1-X
    
    module Make3
    
    argument 1-X
    
    module Make4
    
    argument 1-X
    
    module Make5
    
    argument 1-X
  - module Named_intf
    
    module type S0
    
    module type S1
    
    module type S2
    
    module type S3
    
    module type S4
    
    module type S5
  - module Std
    
    module Typerep
    
    module Field
    
    module Field_internal
    
    module Named
    
    module type T0
    
    module type T1
    
    module type T2
    
    module type T3
    
    module type T4
    
    module type T5
    
    module Record
    
    module Record_internal
    
    module Tag
    
    module Tag_internal
    
    module Tuple
    
    module Variant
    
    module Variant_internal
  - module Std_internal
    
    module Typerep
    
    module Field
    
    module Field_internal
    
    module Named
    
    module type T0
    
    module type T1
    
    module type T2
    
    module type T3
    
    module type T4
    
    module type T5
    
    module Record
    
    module Record_internal
    
    module Tag
    
    module Tag_internal
    
    module Tuple
    
    module Variant
    
    module Variant_internal
  - module Type_abstract
    
    module Make0
    
    argument 1-X
    
    module Make1
    
    argument 1-X
    
    module Make2
    
    argument 1-X
    
    module Make3
    
    argument 1-X
    
    module Make4
    
    argument 1-X
    
    module Make5
    
    argument 1-X
  - module Type_equal
    
    module Lift
    
    argument 1-X
  - module Type_generic
    
    module type Computation
    
    module Field
    
    module Field_internal
    
    module Named
    
    module Context
    
    module Record
    
    module Record_internal
    
    module Tag
    
    module Tag_internal
    
    module Variant
    
    module Variant_internal
    
    module Helper
    
    argument 1-A
    
    module Field
    
    module Field_internal
    
    module Record
    
    module Record_internal
    
    module Tag
    
    module Tag_internal
    
    module Variant
    
    module Variant_internal
    
    argument 2-B
    
    module Field
    
    module Field_internal
    
    module Record
    
    module Record_internal
    
    module Tag
    
    module Tag_internal
    
    module Variant
    
    module Variant_internal
    
    module Ident
    
    module Make
    
    argument 1-X
    
    module Field
    
    module Field_internal
    
    module Named
    
    module Context
    
    module Record
    
    module Record_internal
    
    module Tag
    
    module Tag_internal
    
    module Variant
    
    module Variant_internal
    
    module Computation
    
    module Field
    
    module Field_internal
    
    module Named
    
    module Context
    
    module Record
    
    module Record_internal
    
    module Tag
    
    module Tag_internal
    
    module Variant
    
    module Variant_internal
    
    module type S
    
    module type S1
    
    module type S2
    
    module type S3
    
    module type S4
    
    module type S5
    
    module Make_named_for_closure
    
    argument 1-X
    
    module Context
    
    module type Named
    
    module Context
    
    module type S
    
    module Computation
    
    module Field
    
    module Field_internal
    
    module Named
    
    module Context
    
    module Record
    
    module Record_internal
    
    module Tag
    
    module Tag_internal
    
    module Variant
    
    module Variant_internal
    
    module type S
    
    module type S1
    
    module type S2
    
    module type S3
    
    module type S4
    
    module type S5
    
    module Variant_and_record_intf
    
    module M
    
    argument 1-X
    
    module Field
    
    module Field_internal
    
    module Record
    
    module Record_internal
    
    module Tag
    
    module Tag_internal
    
    module Variant
    
    module Variant_internal
    
    module type S
    
    module Field
    
    module Field_internal
    
    module Record
    
    module Record_internal
    
    module Tag
    
    module Tag_internal
    
    module Variant
    
    module Variant_internal
  - module Type_generic_intf
    
    module M
    
    argument 1-X
    
    module type S
    
    module type S1
    
    module type S2
    
    module type S3
    
    module type S4
    
    module type S5
    
    module type S
    
    module type S
    
    module type S1
    
    module type S2
    
    module type S3
    
    module type S4
    
    module type S5
  - module Typename
    
    module Key
    
    module Make0
    
    argument 1-X
    
    module Make1
    
    argument 1-X
    
    module Make2
    
    argument 1-X
    
    module Make3
    
    argument 1-X
    
    module Make4
    
    argument 1-X
    
    module Make5
    
    argument 1-X
    
    module type S0
    
    module type S1
    
    module type S2
    
    module type S3
    
    module type S4
    
    module type S5
    
    module Same_witness_exn_1
    
    argument 1-A
    
    argument 2-B
    
    module Same_witness_exn_2
    
    argument 1-A
    
    argument 2-B
    
    module Same_witness_exn_3
    
    argument 1-A
    
    argument 2-B
    
    module Same_witness_exn_4
    
    argument 1-A
    
    argument 2-B
    
    module Same_witness_exn_5
    
    argument 1-A
    
    argument 2-B
    
    module Table
    
    argument 1-X
    
    module Uid
  - module Typerep_obj
  - module Typerepable
    
    module type S
    
    module type S1
    
    module type S2
    
    module type S3
    
    module type S4
    
    module type S5
  - module Variant_and_record_intf
    
    module M
    
    argument 1-X
    
    module Field
    
    module Field_internal
    
    module Record
    
    module Record_internal
    
    module Tag
    
    module Tag_internal
    
    module Variant
    
    module Variant_internal
    
    module type S
    
    module Field
    
    module Field_internal
    
    module Record
    
    module Record_internal
    
    module Tag
    
    module Tag_internal
    
    module Variant
    
    module Variant_internal

Libraries

This package provides the following libraries (via dune):

typerep

Documentation:

Typerep_lib.Make_typename
Typerep_lib.Named_intf
Typerep_lib.Std
Typerep_lib.Std_internal type-safe runtime type introspection
Typerep_lib.Type_abstract Abstract types helpers.
Typerep_lib.Type_equal
Typerep_lib.Type_generic A computation is the type of an operation that can be applied to various different kind of types. It is expressed as a type with one parameter:
Typerep_lib.Type_generic_intf
Typerep_lib.Typename runtime representation of the name of type 'a. Useful for representing types with a nominal notion of equality
Typerep_lib.Typerep_obj
Typerep_lib.Typerepable
Typerep_lib.Variant_and_record_intf Place holder for common Variants and Fields interface

Dependencies: base