package sqlgg

  1. Overview
  2. Docs
SQL Guided (code) Generator

Install 

dune-project
 Dependency

ygrek.org Readme Edit opam file Versions (5)

Authors

  1. Y
    ygrek

Maintainers

  1. Y
    ygrek@autistici.org

Sources

sqlgg-20260721.tbz
sha256=40d7699187951dd2f17d885c4f4f04124930bf7dc1119d4cca322c5f0cb42d8e
sha512=e7c90683cddcff3ca0ba9de9e40c2c4c69923ea62e2647f1a70083e42ed00b7cab53f8a14d1a965ee4465966bc02fa75fa7cb42e485beae1a9c26bdc252c3665

doc/sqlgg.lib/Sqlgg/Sql/Type/index.html

Module Sql.TypeSource

Sourcemodule Enum_kind : sig ... end
Sourcetype union = {
  1. ctors : Enum_kind.t;
  2. is_closed : bool;
}
Sourcetype decimal = {
  1. precision : int option;
  2. scale : int option;
}
Sourcetype kind =
  1. | Int
  2. | UInt64
  3. | Text
  4. | Blob
  5. | Float
  6. | Bool
  7. | Datetime
  8. | Decimal of decimal
  9. | Union of union
  10. | StringLiteral of string
  11. | FloatingLiteral of float
  12. | Json_path
  13. | One_or_all
  14. | Json
  15. | Any
Sourcetype nullability =
  1. | Nullable
    (*

    can be NULL

    *)
  2. | Strict
    (*

    cannot be NULL

    *)
  3. | Depends
    (*

    unknown, to be determined

    *)
Sourcetype t = {
  1. t : kind;
  2. nullability : nullability;
}
Sourceval nullability : nullability -> kind -> t
Sourceval strict : kind -> t
Sourceval depends : kind -> t
Sourceval nullable : kind -> t
Sourceval make_nullable : t -> t
Sourceval make_strict : t -> t
Sourceval make_enum_kind : Enum_kind.Ctors.elt list -> kind
Sourceval is_strict : t -> bool
Sourceval is_nullable : t -> bool
Sourceval (=) : t -> t -> bool
Sourceval show : t -> string
Sourceval pp : Format.formatter -> t -> unit
Sourceval is_one_or_all : string -> bool
Sourceval check_exact_exact_number : float -> decimal -> bool
Sourceval order_kind : kind -> kind -> [> `Equal | `No | `Order of kind * kind | `StringLiteralUnion of kind ]
  • returns

    (subtype, supertype)

Sourceval order_nullability : nullability -> nullability -> [> `Equal of nullability | `Nullable_Strict | `Strict_Nullable ]
Sourceval common_nullability : t list -> nullability
Sourceval undepend : t -> nullability -> t
Sourceval common_type_ : ([> `CommonType of kind * kind | `StringLiteralUnion of kind ] -> kind option) -> t -> t -> t option
Sourceval common_type_l_ : ([> `CommonType of kind * kind | `StringLiteralUnion of kind ] -> kind option) -> t list -> t option
Sourceval get_subtype : [< `CommonType of 'a * 'b | `StringLiteralUnion of 'a ] -> 'a option
Sourceval get_supertype : [< `CommonType of 'a * 'b | `StringLiteralUnion of 'b ] -> 'b option
Sourceval subtype : t -> t -> t option
Sourceval supertype : t -> t -> t option
Sourceval common_subtype : t list -> t option
Sourceval common_supertype : t list -> t option
Sourceval common_type : t -> t -> t option
Sourceval has_common_type : t -> t -> bool
Sourcetype tyvar =
  1. | Typ of t
  2. | Var of int
Sourceval string_of_tyvar : tyvar -> string