Module Type.Repr

Low-level representation (unstable).

type 'a t' := 'a t
type 'a t =
  1. | Bool : bool t
    (*

    Stored as 0 and 1

    *)
  2. | Int : int t
    (*

    Stored as int64

    *)
  3. | Int64 : int64 t
  4. | Float : float t
  5. | Text : string t
  6. | Blob : string t
  7. | Option : 'a t -> 'a option t
    (*

    Column with NULLs or values of given type.

    *)
  8. | Coded : ('a, 'b) Coded.t -> 'a t
    (*

    An OCaml fiction.

    *)
  9. | Custom : 'a Custom.t -> 'a t
    (*

    A DBMS specific datatype.

    *)

The low-level representation column types.

val of_t : 'a t' -> 'a t

of_t t is the low-level representation of t.

val to_t : 'a t -> 'a t'

to_t l is a type from the low-level representation of l. FIXME Try to remove.

val pp : 'a t fmt

See pp.

val value_pp : 'a t -> 'a fmt

See value_pp.

val value_equal : 'a t -> 'a eq

See value_equal.