links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Sql
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 =
| Union of multiplicity * query list * int
| Select of select_clause
| Insert of {
ins_table : table_name;
ins_fields : string list;
ins_records : insert_records;
}
| Update of {
upd_table : table_name;
upd_fields : (string * base) list;
upd_where : base option;
}
| Delete of {
del_table : table_name;
del_where : base option;
}
| With of table_name * query * query list
| Transaction of query list
and insert_records =
| Values of base list list
| TableQuery of Var.var
and select_clause = multiplicity * select_fields * from_clause list * base * base list
and select_fields =
| Star
| Fields of (base * string) list
and from_clause =
| TableRef of table_name * Var.var
| Subquery of dependency * query * Var.var
and base =
| Case of base * base * base
| Constant of CommonTypes.Constant.t
| Project of Var.var * string
| Apply of string * base list
| Empty of query
| Length of query
| RowNumber of (Var.var * string) list
and multiplicity =
| All
| Distinct
and dependency =
| Standard
| Lateral
val show_insert_records : insert_records -> Ppx_deriving_runtime.string
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