typerep
Typerep is a library for runtime types
1024">
IN THIS PACKAGE
-
library typerep
-
module Typerep_lib
-
module Std
-
module Typerep
-
module Field
-
module Field_internal
-
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 Record
-
module Record_internal
-
module Tag
-
module Tag_internal
-
module Tuple
-
module Variant
-
module Variant_internal
-
-
-
module Type_equal
-
module Type_generic
-
module type Computation
-
module Field
-
module Field_internal
-
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 Record
-
module Record_internal
-
module Tag
-
module Tag_internal
-
module Variant
-
module Variant_internal
-
-
module Computation
-
module Field
-
module Field_internal
-
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
-
module type S
-
module Computation
-
module Field
-
module Field_internal
-
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 Typename
-
module Key
-
module type S0
-
module type S1
-
module type S2
-
module type S3
-
module type S4
-
module type S5
-
module Same_witness_exn_1
-
module Same_witness_exn_2
-
module Same_witness_exn_3
-
module Same_witness_exn_4
-
module Same_witness_exn_5
-
module Uid
-
-
module Typerep_obj
-
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 introspectionTyperep_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 equalityTyperep_lib.Typerep_obj
Typerep_lib.Typerepable
Typerep_lib.Variant_and_record_intf
Place holder for common Variants and Fields interface
Dependencies: base