Up
Index of values
A
a
[
Std_internal.Typerep.Named.T5
]
a
[
Std_internal.Typerep.Named.T4
]
a
[
Std_internal.Typerep.Named.T3
]
a
[
Std_internal.Typerep.Named.T2
]
a
[
Std_internal.Typerep.Named.T1
]
arity
[
Variant_and_record_intf.M.Tag
]
arity
[
Std_internal.Typerep.Tuple
]
arity
[
Std_internal.Typerep.Named
]
array
[
Type_generic.Computation
]
B
b
[
Std_internal.Typerep.Named.T5
]
b
[
Std_internal.Typerep.Named.T4
]
b
[
Std_internal.Typerep.Named.T3
]
b
[
Std_internal.Typerep.Named.T2
]
bool
[
Type_generic.Computation
]
C
c
[
Std_internal.Typerep.Named.T5
]
c
[
Std_internal.Typerep.Named.T4
]
c
[
Std_internal.Typerep.Named.T3
]
char
[
Type_generic.Computation
]
compare
[
Typename.Uid
]
compare
[
Typename.Key
]
compute
[
Type_generic_intf.M.S5
]
compute
[
Type_generic_intf.M.S4
]
compute
[
Type_generic_intf.M.S3
]
compute
[
Type_generic_intf.M.S2
]
compute
[
Type_generic_intf.M.S1
]
compute
[
Type_generic_intf.M.S0
]
conv
[
Type_equal
]
type-safe conversion between equal types
create
[
Variant_and_record_intf.M.Record
]
create
[
Variant_and_record_intf.M.Tag
]
create
[
Typename.Table
]
create
[
Typename
]
create
[
Type_generic.Named.Context
]
ctyp
[
Pa_typerep_conv.Tuple
]
D
d
[
Std_internal.Typerep.Named.T5
]
d
[
Std_internal.Typerep.Named.T4
]
double_array_value
[
Typerep_obj
]
E
e
[
Std_internal.Typerep.Named.T5
]
equal
[
Typename.Uid
]
equal
[
Typename.Key
]
expr
[
Pa_typerep_conv.Variant_case
]
expr and patt for the constructor
expr
[
Pa_typerep_conv.Tuple
]
F
field
[
Variant_and_record_intf.M.Record
]
fields
[
Pa_typerep_conv.Branches
]
find
[
Typename.Table
]
float
[
Type_generic.Computation
]
fold
[
Variant_and_record_intf.M.Record
]
fold
[
Variant_and_record_intf.M.Variant
]
function_
[
Type_generic.Computation
]
G
get
[
Variant_and_record_intf.M.Field
]
get_wip_computation
[
Type_generic.Named
]
H
has_double_array_tag
[
Variant_and_record_intf.M.Record
]
has_double_array_tag
[
Typerep_obj
]
hash
[
Typename.Uid
]
hash
[
Typename.Key
]
hash_variant
[
Typerep_obj
]
head
[
Std_internal.Typerep
]
head ty
is used to traverse the
Named
constructor.
I
ident
[
Type_generic.S
]
index
[
Variant_and_record_intf.M.Field
]
index
[
Variant_and_record_intf.M.Tag
]
init
[
Type_generic.Named
]
int
[
Type_generic.Computation
]
int32
[
Type_generic.Computation
]
int64
[
Type_generic.Computation
]
internal_use_only
[
Variant_and_record_intf.M.Record
]
internal_use_only
[
Variant_and_record_intf.M.Field
]
internal_use_only
[
Variant_and_record_intf.M.Variant
]
internal_use_only
[
Variant_and_record_intf.M.Tag
]
is_polymorphic
[
Variant_and_record_intf.M.Variant
]
K
key
[
Typename
]
L
label
[
Variant_and_record_intf.M.Field
]
label
[
Variant_and_record_intf.M.Tag
]
lazy_t
[
Type_generic.Computation
]
length
[
Variant_and_record_intf.M.Record
]
length
[
Variant_and_record_intf.M.Variant
]
lift
[
Type_equal.Lift
]
list
[
Type_generic.Computation
]
M
map_record
[
Type_generic.Helper
]
map_variant
[
Type_generic.Helper
]
mem
[
Typename.Table
]
N
name
[
Std_internal.Typerep.Named
]
name
[
Typename.Uid
]
name
[
Typename
]
name
[
Named_intf.S5
]
name
[
Named_intf.S4
]
name
[
Named_intf.S3
]
name
[
Named_intf.S2
]
name
[
Named_intf.S1
]
name
[
Named_intf.S0
]
named
[
Make_typename.Make5
]
named
[
Make_typename.Make4
]
named
[
Make_typename.Make3
]
named
[
Make_typename.Make2
]
named
[
Make_typename.Make1
]
named
[
Make_typename.Make0
]
nativeint
[
Type_generic.Computation
]
O
ocaml_repr
[
Variant_and_record_intf.M.Tag
]
ocaml_repr
[
Pa_typerep_conv.Variant_case
]
of_typerep
[
Type_generic.S
]
main function : compute the generic computation from the typerep
option
[
Type_generic.Computation
]
P
patt
[
Pa_typerep_conv.Variant_case
]
patt
[
Pa_typerep_conv.Tuple
]
R
record
[
Type_generic.Computation
]
ref_
[
Type_generic.Computation
]
refl
[
Type_equal
]
type equality is reflexive
register
[
Type_generic.S
]
special less scary type when the type has no parameters.
register0
[
Type_generic.S
]
Extending an existing generic for a particular type name
register1
[
Type_generic.S
]
register2
[
Type_generic.S
]
register3
[
Type_generic.S
]
register4
[
Type_generic.S
]
register5
[
Type_generic.S
]
repr_of_poly_variant
[
Typerep_obj
]
S
same
[
Std_internal.Typerep
]
same t t'
will return a proof a equality if
t
and
t'
are the same type.
same
[
Typename
]
nominal type equality test
same_witness
[
Std_internal.Typerep
]
same_witness
[
Typename
]
same_witness_exn
[
Std_internal.Typerep
]
same_witness_exn
[
Typename
]
set
[
Typename.Table
]
set_final_computation
[
Type_generic.Named
]
share
[
Type_generic.Named
]
It might be interesting to inline some computation for a few typerep if they appear several times within a typerep.
static
[
Typename
]
string
[
Type_generic.Computation
]
T
tag
[
Variant_and_record_intf.M.Variant
]
traverse
[
Variant_and_record_intf.M.Field
]
traverse
[
Variant_and_record_intf.M.Tag
]
tuple2
[
Type_generic.Computation
]
tuple3
[
Type_generic.Computation
]
tuple4
[
Type_generic.Computation
]
tuple5
[
Type_generic.Computation
]
tyid
[
Variant_and_record_intf.M.Field
]
tyid
[
Variant_and_record_intf.M.Tag
]
typename_of_array
[
Std_internal
]
typename_of_bool
[
Std_internal
]
typename_of_char
[
Std_internal
]
typename_of_float
[
Std_internal
]
typename_of_function
[
Std_internal
]
typename_of_int
[
Std_internal
]
typename_of_int32
[
Std_internal
]
typename_of_int64
[
Std_internal
]
typename_of_lazy_t
[
Std_internal
]
typename_of_list
[
Std_internal
]
typename_of_named
[
Std_internal.Typerep.Named.T5
]
typename_of_named
[
Std_internal.Typerep.Named.T4
]
typename_of_named
[
Std_internal.Typerep.Named.T3
]
typename_of_named
[
Std_internal.Typerep.Named.T2
]
typename_of_named
[
Std_internal.Typerep.Named.T1
]
typename_of_named
[
Std_internal.Typerep.Named.T0
]
typename_of_nativeint
[
Std_internal
]
typename_of_option
[
Std_internal
]
typename_of_ref
[
Std_internal
]
typename_of_string
[
Std_internal
]
typename_of_t
[
Variant_and_record_intf.M.Record
]
typename_of_t
[
Variant_and_record_intf.M.Variant
]
typename_of_t
[
Std_internal.Typerep.Tuple
]
typename_of_t
[
Std_internal.Typerep.Named.T5
]
typename_of_t
[
Std_internal.Typerep.Named.T4
]
typename_of_t
[
Std_internal.Typerep.Named.T3
]
typename_of_t
[
Std_internal.Typerep.Named.T2
]
typename_of_t
[
Std_internal.Typerep.Named.T1
]
typename_of_t
[
Std_internal.Typerep.Named.T0
]
typename_of_t
[
Std_internal.Typerep.Named
]
typename_of_t
[
Std_internal.Typerep
]
typename_of_t
[
Typename.S5
]
typename_of_t
[
Typename.S4
]
typename_of_t
[
Typename.S3
]
typename_of_t
[
Typename.S2
]
typename_of_t
[
Typename.S1
]
typename_of_t
[
Typename.S0
]
typename_of_t
[
Typerepable.S5
]
typename_of_t
[
Typerepable.S4
]
typename_of_t
[
Typerepable.S3
]
typename_of_t
[
Typerepable.S2
]
typename_of_t
[
Typerepable.S1
]
typename_of_t
[
Typerepable.S0
]
typename_of_t
[
Make_typename.Make5
]
typename_of_t
[
Make_typename.Make4
]
typename_of_t
[
Make_typename.Make3
]
typename_of_t
[
Make_typename.Make2
]
typename_of_t
[
Make_typename.Make1
]
typename_of_t
[
Make_typename.Make0
]
typename_of_tuple0
[
Std_internal
]
typename_of_tuple2
[
Std_internal
]
typename_of_tuple3
[
Std_internal
]
typename_of_tuple4
[
Std_internal
]
typename_of_tuple5
[
Std_internal
]
typename_of_unit
[
Std_internal
]
typerep_of_array
[
Std_internal
]
typerep_of_bool
[
Std_internal
]
typerep_of_char
[
Std_internal
]
typerep_of_float
[
Std_internal
]
typerep_of_function
[
Std_internal
]
typerep_of_int
[
Std_internal
]
typerep_of_int32
[
Std_internal
]
typerep_of_int64
[
Std_internal
]
typerep_of_lazy_t
[
Std_internal
]
typerep_of_list
[
Std_internal
]
typerep_of_nativeint
[
Std_internal
]
typerep_of_option
[
Std_internal
]
typerep_of_ref
[
Std_internal
]
typerep_of_string
[
Std_internal
]
typerep_of_t
[
Typerepable.S5
]
typerep_of_t
[
Typerepable.S4
]
typerep_of_t
[
Typerepable.S3
]
typerep_of_t
[
Typerepable.S2
]
typerep_of_t
[
Typerepable.S1
]
typerep_of_t
[
Typerepable.S0
]
typerep_of_tuple0
[
Std_internal
]
typerep_of_tuple2
[
Std_internal
]
typerep_of_tuple3
[
Std_internal
]
typerep_of_tuple4
[
Std_internal
]
typerep_of_tuple5
[
Std_internal
]
typerep_of_unit
[
Std_internal
]
U
uid
[
Typename
]
unit
[
Type_generic.Computation
]
V
value
[
Variant_and_record_intf.M.Variant
]
value_tuple0
[
Std_internal
]
variant
[
Type_generic.Computation
]
variants
[
Pa_typerep_conv.Branches
]
W
witness
[
Std_internal.Typerep.Named.T5
]
witness
[
Std_internal.Typerep.Named.T4
]
witness
[
Std_internal.Typerep.Named.T3
]
witness
[
Std_internal.Typerep.Named.T2
]
witness
[
Std_internal.Typerep.Named.T1
]
witness
[
Std_internal.Typerep.Named.T0
]
witness
[
Typename.Same_witness_exn_5
]
witness
[
Typename.Same_witness_exn_4
]
witness
[
Typename.Same_witness_exn_3
]
witness
[
Typename.Same_witness_exn_2
]
witness
[
Typename.Same_witness_exn_1
]