sqlgg 20231201 (latest) · OCaml Package

module Type : sig ... end

module Constraint : sig ... end

module Constraints : sig ... end

type attr = {

name : string;
domain : Type.t;
extra : Constraints.t;

}

val pp_attr : 
  Ppx_deriving_runtime.Format.formatter ->
  attr ->
  Ppx_deriving_runtime.unit

val show_attr : attr -> Ppx_deriving_runtime.string

val make_attribute : string -> Type.t -> Constraints.t -> attr

module Schema : sig ... end

type table_name = {

db : string option;
tn : string;

}

val pp_table_name : 
  Ppx_deriving_runtime.Format.formatter ->
  table_name ->
  Ppx_deriving_runtime.unit

val show_table_name : table_name -> string

val make_table_name : ?db:string -> string -> table_name

type schema = Schema.t

val pp_schema : 
  Ppx_deriving_runtime.Format.formatter ->
  schema ->
  Ppx_deriving_runtime.unit

val show_schema : schema -> Ppx_deriving_runtime.string

type table = table_name * schema

val pp_table : 
  Ppx_deriving_runtime.Format.formatter ->
  table ->
  Ppx_deriving_runtime.unit

val show_table : table -> Ppx_deriving_runtime.string

val print_table : 'a IO.output -> (table_name * attr list) -> unit

type param_id = {

label : string option;
pos : int * int;

}

optional name and start/end position in string

val pp_param_id : 
  Ppx_deriving_runtime.Format.formatter ->
  param_id ->
  Ppx_deriving_runtime.unit

val show_param_id : param_id -> Ppx_deriving_runtime.string

type param = {

id : param_id;
typ : Type.t;
attr : attr option;

}

val pp_param : 
  Ppx_deriving_runtime.Format.formatter ->
  param ->
  Ppx_deriving_runtime.unit

val show_param : param -> Ppx_deriving_runtime.string

val new_param : ?attr:attr -> param_id -> Type.t -> param

type params = param list

val pp_params : 
  Ppx_deriving_runtime.Format.formatter ->
  params ->
  Ppx_deriving_runtime.unit

val show_params : params -> Ppx_deriving_runtime.string

type ctor =

| Simple of param_id * var list option
| Verbatim of string * string

and var =

| Single of param
| SingleIn of param
| ChoiceIn of {
1. param : param_id;
2. kind : [ `In | `NotIn ];
3. vars : var list;
}
| Choice of param_id * ctor list
| TupleList of param_id * schema

val pp_ctor : 
  Ppx_deriving_runtime.Format.formatter ->
  ctor ->
  Ppx_deriving_runtime.unit

val show_ctor : ctor -> Ppx_deriving_runtime.string

val pp_var : 
  Ppx_deriving_runtime.Format.formatter ->
  var ->
  Ppx_deriving_runtime.unit

val show_var : var -> Ppx_deriving_runtime.string

type vars = var list

val pp_vars : 
  Ppx_deriving_runtime.Format.formatter ->
  vars ->
  Ppx_deriving_runtime.unit

val show_vars : vars -> Ppx_deriving_runtime.string

type alter_pos = [

| `After of string
| `Default
| `First

]

type alter_action = [

| `Add of attr * alter_pos
| `RenameTable of table_name
| `RenameColumn of string * string
| `RenameIndex of string * string
| `Drop of string
| `Change of string * attr * alter_pos
| `None

]

type select_result = schema * param list

type direction = [

| `Fixed
| `Param of param_id

]

val pp_direction : 
  Ppx_deriving_runtime.Format.formatter ->
  direction ->
  Ppx_deriving_runtime.unit

val show_direction : direction -> Ppx_deriving_runtime.string

type int_or_param = [

| `Const of int
| `Limit of param

]

type limit_t = [

| `Limit
| `Offset

]

type col_name = {

cname : string;
(*
column name
*)
tname : table_name option;

}

and limit = param list * bool

and nested = source * (source * join_cond) list

and source =
  [ `Select of select_full | `Table of table_name | `Nested of nested ]
  * table_name option

and join_cond = [

| `Cross
| `Search of expr
| `Default
| `Natural
| `Using of string list

]

and select = {

columns : column list;
from : nested option;
where : expr option;
group : expr list;
having : expr option;

}

and select_full = {

select : select * select list;
order : order;
limit : limit option;

}

and order = (expr * direction option) list

and 'expr choices = (param_id * 'expr option) list

and expr =

| Value of Type.t
(*
literal value
*)
| Param of param
| Inparam of param
| Choices of param_id * expr choices
| InChoice of param_id * [ `In | `NotIn ] * expr
| Fun of Type.func * expr list
(*
parameters
*)
| SelectExpr of select_full * [ `AsValue | `Exists ]
| Column of col_name
| Inserted of string
(*
inserted value
*)

and column =

| All
| AllOf of table_name
| Expr of expr * string option
(*
name
*)

val pp_col_name : 
  Ppx_deriving_runtime.Format.formatter ->
  col_name ->
  Ppx_deriving_runtime.unit

val show_col_name : col_name -> Ppx_deriving_runtime.string

val pp_limit : 
  Ppx_deriving_runtime.Format.formatter ->
  limit ->
  Ppx_deriving_runtime.unit

val show_limit : limit -> Ppx_deriving_runtime.string

val pp_nested : 
  Ppx_deriving_runtime.Format.formatter ->
  nested ->
  Ppx_deriving_runtime.unit

val show_nested : nested -> Ppx_deriving_runtime.string

val pp_source : 
  Ppx_deriving_runtime.Format.formatter ->
  source ->
  Ppx_deriving_runtime.unit

val show_source : source -> Ppx_deriving_runtime.string

val pp_join_cond : 
  Ppx_deriving_runtime.Format.formatter ->
  join_cond ->
  Ppx_deriving_runtime.unit

val show_join_cond : join_cond -> Ppx_deriving_runtime.string

val pp_select : 
  Ppx_deriving_runtime.Format.formatter ->
  select ->
  Ppx_deriving_runtime.unit

val show_select : select -> Ppx_deriving_runtime.string

val pp_select_full : 
  Ppx_deriving_runtime.Format.formatter ->
  select_full ->
  Ppx_deriving_runtime.unit

val show_select_full : select_full -> Ppx_deriving_runtime.string

val pp_order : 
  Ppx_deriving_runtime.Format.formatter ->
  order ->
  Ppx_deriving_runtime.unit

val show_order : order -> Ppx_deriving_runtime.string

val pp_choices : 
  'expr. (Ppx_deriving_runtime.Format.formatter ->
           'expr ->
           Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'expr choices ->
  Ppx_deriving_runtime.unit

val show_choices : 
  'expr. (Ppx_deriving_runtime.Format.formatter ->
           'expr ->
           Ppx_deriving_runtime.unit) ->
  'expr choices ->
  Ppx_deriving_runtime.string

val pp_expr : 
  Ppx_deriving_runtime.Format.formatter ->
  expr ->
  Ppx_deriving_runtime.unit

val show_expr : expr -> Ppx_deriving_runtime.string

val pp_column : 
  Ppx_deriving_runtime.Format.formatter ->
  column ->
  Ppx_deriving_runtime.unit

val show_column : column -> Ppx_deriving_runtime.string

type columns = column list

val pp_columns : 
  Ppx_deriving_runtime.Format.formatter ->
  columns ->
  Ppx_deriving_runtime.unit

val show_columns : columns -> Ppx_deriving_runtime.string

val expr_to_string : expr -> Ppx_deriving_runtime.string

type assignments = (col_name * expr) list

type insert_action = {

target : table_name;
action : [ `Set of assignments option | `Values of string list option * [ `Expr of expr | `Default ] list list option | `Param of string list option * param_id | `Select of string list option * select_full ];
on_duplicate : assignments option;

}

type stmt =

| Create of table_name * [ `Schema of schema | `Select of select_full ]
| Drop of table_name
| Alter of table_name * alter_action list
| Rename of (table_name * table_name) list
| CreateIndex of string * table_name * string list
| Insert of insert_action
| Delete of table_name * expr option
| DeleteMulti of table_name list * nested * expr option
| Set of string * expr
| Update of table_name * assignments * expr option * order * param list
| UpdateMulti of source list * assignments * expr option
| Select of select_full
| CreateRoutine of string * Type.t option * (string * Type.t * expr option) list

module Function : sig ... end

package sqlgg