Module Generic_core_ty.T

module T: sig .. end

Primitive and Standard Types

The core generic library comes with the type reflection and introspection for all types in the standard library. Other types need to be added by the user, either manually or through dedicated PPX.

Synonym for convenience.


type '_ ty = ..
type '_ ty += 
| Any : 'a ty
| Int32 : int32 ty
| Int64 : int64 ty
| Nativeint : nativeint ty
| Exn : exn ty
| Bool : bool ty
| Int : int ty
| Float : float ty
| Char : char ty
| Bytes : bytes ty
| String : string ty
| Unit : unit ty
| Lazy : 'a0 ty -> 'a0 Lazy.t ty
| Option : 'a1 ty -> 'a1 option ty
| List : 'a2 ty -> 'a2 list ty
| Array : 'a3 ty -> 'a3 array ty
| Ref : 'a4 ty -> 'a4 Pervasives.ref ty
| Ty : 'a5 ty -> 'a5 ty ty
| Pair : 'a6 ty * 'b ty -> ('a6 * 'b) ty
| Triple : 'a7 ty * 'b0 ty * 'c ty -> ('a7 * 'b0 * 'c) ty
| Quadruple : 'a8 ty * 'b1 ty
* 'c0 ty * 'd ty
-> ('a8 * 'b1 * 'c0 * 'd) ty
| Quintuple : 'a9 ty * 'b2 ty
* 'c1 ty * 'd0 ty
* 'e ty
-> ('a9 * 'b2 * 'c1 * 'd0 * 'e) ty
| Sextuple : 'a10 ty * 'b3 ty
* 'c2 ty * 'd1 ty
* 'e0 ty * 'f ty
-> ('a10 * 'b3 * 'c2 * 'd1 * 'e0 * 'f) ty
| Septuple : 'a11 ty * 'b4 ty
* 'c3 ty * 'd2 ty
* 'e1 ty * 'f0 ty
* 'g ty
-> ('a11 * 'b4 * 'c3 * 'd2 * 'e1 * 'f0 * 'g) ty
| Octuple : 'a12 ty * 'b5 ty
* 'c4 ty * 'd3 ty
* 'e2 ty * 'f1 ty
* 'g0 ty * 'h ty
-> ('a12 * 'b5 * 'c4 * 'd3 * 'e2 * 'f1 * 'g0 * 'h) ty
| Nonuple : 'a13 ty * 'b6 ty
* 'c5 ty * 'd4 ty
* 'e3 ty * 'f2 ty
* 'g1 ty * 'h0 ty
* 'i ty
-> ('a13 * 'b6 * 'c5 * 'd4 * 'e3 * 'f2 * 'g1 * 'h0 * 'i) ty
| Decuple : 'a14 ty * 'b7 ty
* 'c6 ty * 'd5 ty
* 'e4 ty * 'f3 ty
* 'g2 ty * 'h1 ty
* 'i0 ty * 'j ty
-> ('a14 * 'b7 * 'c6 * 'd5 * 'e4 * 'f3 * 'g2 * 'h1 * 'i0 * 'j)
ty
| Fun : 'a15 ty * 'b8 ty -> ('a15 -> 'b8) ty