package links

  1. Overview
  2. Docs
type index = (Var.var * string) list
type range = int * int
type table_name = string
val show_table_name : table_name -> Ppx_deriving_runtime.string
type query =
  1. | Union of multiplicity * query list * int
  2. | Select of select_clause
  3. | Insert of {
    1. ins_table : table_name;
    2. ins_fields : string list;
    3. ins_records : base list list;
    }
  4. | Update of {
    1. upd_table : table_name;
    2. upd_fields : (string * base) list;
    3. upd_where : base option;
    }
  5. | Delete of {
    1. del_table : table_name;
    2. del_where : base option;
    }
  6. | With of table_name * query * query
and select_clause = multiplicity * select_fields * from_clause list * base * base list
and select_fields =
  1. | Star
  2. | Fields of (base * string) list
and from_clause =
  1. | TableRef of table_name * Var.var
  2. | Subquery of dependency * query * Var.var
and base =
  1. | Case of base * base * base
  2. | Constant of CommonTypes.Constant.t
  3. | Project of Var.var * string
  4. | Apply of string * base list
  5. | Empty of query
  6. | Length of query
  7. | RowNumber of (Var.var * string) list
and multiplicity =
  1. | All
  2. | Distinct
and dependency =
  1. | Standard
  2. | Lateral
val show_select_clause : select_clause -> Ppx_deriving_runtime.string
val show_select_fields : select_fields -> Ppx_deriving_runtime.string
val show_from_clause : from_clause -> Ppx_deriving_runtime.string
val show_multiplicity : multiplicity -> Ppx_deriving_runtime.string
val show_dependency : dependency -> Ppx_deriving_runtime.string
val smart_and : base -> base -> base
val fresh_table_var : unit -> Var.var
val string_of_table_var : int -> string
val string_of_subquery_var : int -> string
val dummy_counter : int ref
val reset_dummy_counter : unit -> unit
val fresh_dummy_var : unit -> string
module Arithmetic : sig ... end
module SqlFuns : sig ... end
val order_by_clause : int -> string
class virtual printer : object ... end
val default_printer : (string -> string) -> printer
val inline_outer_with : query -> query
OCaml

Innovation. Community. Security.