Up
Index of modules
B
Branches
[
Pa_typerep_conv
]
C
Computation
[
Type_generic.S
]
exported to build a computation on top of a previous one
Context
[
Type_generic.Named
]
Work in progress representation of a computation.
F
Field
[
Variant_and_record_intf.M
]
Witness of a field, that is an item in a record type.
Field_case
[
Pa_typerep_conv
]
Field_internal
[
Variant_and_record_intf.M
]
H
Helper
[
Type_generic
]
I
Ident
[
Type_generic
]
K
Key
[
Typename
]
a runtime representation of fully applied type
'a
L
Lift
[
Type_equal
]
needed in some cases even though t is exported and is a gadt
M
M
[
Variant_and_record_intf
]
M
[
Type_generic_intf
]
Make
[
Type_generic
]
The
name
is used for debug information only in case of Broken_dependency.
Make0
[
Typename
]
Make0
[
Type_abstract
]
Make0
[
Make_typename
]
Make1
[
Typename
]
Make1
[
Type_abstract
]
Make1
[
Make_typename
]
Make2
[
Typename
]
Make2
[
Type_abstract
]
Make2
[
Make_typename
]
Make3
[
Typename
]
Make3
[
Type_abstract
]
Make3
[
Make_typename
]
Make4
[
Typename
]
Make4
[
Type_abstract
]
Make4
[
Make_typename
]
Make5
[
Typename
]
Make5
[
Type_abstract
]
Make5
[
Make_typename
]
Make_named_for_closure
[
Type_generic
]
Not all computations are arrow types.
Make_typename
[
Std
]
Make_typename
N
Named
[
Std_internal.Typerep
]
Named
[
Type_generic.Computation
]
Named_intf
P
Pa_typerep_conv
Pa_type_rep: Preprocessing Module for automatic type representation
R
Record
[
Variant_and_record_intf.M
]
Record_internal
[
Variant_and_record_intf.M
]
S
Same_witness_exn_1
[
Typename
]
Same_witness_exn_2
[
Typename
]
Same_witness_exn_3
[
Typename
]
Same_witness_exn_4
[
Typename
]
Same_witness_exn_5
[
Typename
]
Std
Std_internal
type-safe runtime type introspection
T
Table
[
Typename
]
Tag
[
Variant_and_record_intf.M
]
Witness of a tag, that is an item in a variant type, also called an "applied variant Constructor"
Tag_internal
[
Variant_and_record_intf.M
]
Tuple
[
Std_internal.Typerep
]
Tuple
[
Pa_typerep_conv
]
Type_abstract
Abstract types helpers.
Type_abstract
[
Std
]
Type_equal
runtime witnes of type equality this is a reduced version of
Core.Std.Type_equal
.
Type_equal
[
Std
]
Type_generic
A computation is the type of an operation that can be applied to various different kind of types.
Type_generic
[
Std
]
Type_generic_intf
Type_named_intf
[
Std
]
Typename
runtime representation of the name of type
'a
.
Typename
[
Std
]
Typerep
[
Std_internal
]
runtime type representations
Typerep_obj
some utils related to the runtime of ocaml, used both at compile time (camlp4) and runtime.
Typerep_obj
[
Std
]
Typerepable
Typerepable
[
Std
]
U
Uid
[
Typename
]
an untyped runtime representation of non applied type
V
Variant
[
Variant_and_record_intf.M
]
Variant_and_record_intf
Place holder for common Variants and Fields interface
Variant_and_record_intf
[
Type_generic
]
Variant_case
[
Pa_typerep_conv
]
Variant_internal
[
Variant_and_record_intf.M
]