package sqlgg

  1. Overview
  2. Docs

Module Sql.TypeSource

Sourcetype t =
  1. | Unit of [ `Interval ]
  2. | Int
  3. | Text
  4. | Blob
  5. | Float
  6. | Bool
  7. | Datetime
  8. | Decimal
  9. | Any
Sourceval matches : t -> t -> bool
Sourceval is_unit : t -> bool
Sourceval order : t -> t -> [> `Equal | `No | `Order of t * t ]
Sourceval common_supertype : t -> t -> t option
Sourceval common_subtype : t -> t -> t option
Sourceval common_type : t -> t -> bool
Sourcetype tyvar =
  1. | Typ of t
  2. | Var of int
Sourceval string_of_tyvar : tyvar -> Ppx_deriving_runtime.string
Sourcetype func =
  1. | Group of t
  2. | Agg
  3. | Multi of tyvar * tyvar
  4. | Ret of t
  5. | F of tyvar * tyvar list
Sourceval monomorphic : t -> t list -> func
Sourceval fixed : t -> t list -> func
Sourceval identity : func
Sourceval pp_func : Format.formatter -> func -> unit
Sourceval string_of_func : func -> string
Sourceval is_grouping : func -> bool