Up  

Index of extensions


A
Any [Generic_core_ty.T]
Any [Generic_core_ty]
Re-export of T.ty constructors
Array [Generic_core_ty.T]
Array [Generic_core_ty]
Re-export of T.ty constructors
Array [Generic_util_app]

B
Bool [Generic_core_ty.T]
Bool [Generic_core_ty]
Re-export of T.ty constructors
Bytes [Generic_core_ty.T]
Bytes [Generic_core_ty]
Re-export of T.ty constructors

C
Char [Generic_core_ty.T]
Char [Generic_core_ty]
Re-export of T.ty constructors
Comp [Generic_util_app]
Const [Generic_util_app]
('a, 'b const) app is isomorphic to 't

D
Decuple [Generic_core_ty.T]
Decuple [Generic_core_ty]
Re-export of T.ty constructors
Dynamic [Generic_core_ty]

E
Empty [Generic_util_sum]
Type witnesses for empty and sum.
Exn [Generic_core_ty.T]
Exn [Generic_core_ty]
Re-export of T.ty constructors
Exponential [Generic_util_app]
('a, 'b exponential) app is isomorphic to 'a -> 'b.

F
Float [Generic_core_ty.T]
Float [Generic_core_ty]
Re-export of T.ty constructors
Fun [Generic_core_ty.T]
Fun [Generic_core_ty]
Re-export of T.ty constructors

I
IO [Generic_util_monad.IO]
Embed an effectful computation in the IO monad
Id [Generic_util_app]
Int [Generic_core_ty.T]
Int [Generic_core_ty]
Re-export of T.ty constructors
Int32 [Generic_core_ty.T]
Int32 [Generic_core_ty]
Re-export of T.ty constructors
Int64 [Generic_core_ty.T]
Int64 [Generic_core_ty]
Re-export of T.ty constructors

L
Lazy [Generic_core_ty.T]
Lazy [Generic_core_ty]
Re-export of T.ty constructors
List [Generic_core_ty.T]
List [Generic_core_ty]
Re-export of T.ty constructors
List [Generic_util_app]

N
Nativeint [Generic_core_ty.T]
Nativeint [Generic_core_ty]
Re-export of T.ty constructors
Nonuple [Generic_core_ty.T]
Nonuple [Generic_core_ty]
Re-export of T.ty constructors

O
Object [Generic_core_desc.Object]
Octuple [Generic_core_ty.T]
Octuple [Generic_core_ty]
Re-export of T.ty constructors
Option [Generic_core_ty.T]
Option [Generic_core_ty]
Re-export of T.ty constructors
Option [Generic_util_app]

P
Pair [Generic_core_ty.T]
Pair [Generic_core_ty]
Re-export of T.ty constructors
Poly_variant [Generic_core_desc.Poly]
Polymorphic variants are not named types but are given by providing all the constructors, therefore to witness a polymorphic variant type v, we provide a value v Desc.Poly.t.

Q
Quadruple [Generic_core_ty.T]
Quadruple [Generic_core_ty]
Re-export of T.ty constructors
Quintuple [Generic_core_ty.T]
Quintuple [Generic_core_ty]
Re-export of T.ty constructors

R
Reader [Generic_util_monad.Reader]
Ref [Generic_core_ty.T]
Ref [Generic_core_ty]
Re-export of T.ty constructors

S
Septuple [Generic_core_ty.T]
Septuple [Generic_core_ty]
Re-export of T.ty constructors
Sextuple [Generic_core_ty.T]
Sextuple [Generic_core_ty]
Re-export of T.ty constructors
State [Generic_util_monad.State]
String [Generic_core_ty.T]
String [Generic_core_ty]
Re-export of T.ty constructors
Sum [Generic_util_sum]
Type witnesses for empty and sum.

T
Triple [Generic_core_ty.T]
Triple [Generic_core_ty]
Re-export of T.ty constructors
Ty [Generic_core_ty.T]
Ty [Generic_core_ty]
Re-export of T.ty constructors
Typed [Generic_core_ty]

U
Unit [Generic_core_ty.T]
Unit [Generic_core_ty]
Re-export of T.ty constructors