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. | UnionAll of 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 = (base * string) list * from_clause list * base * base list
and from_clause =
  1. | TableRef of table_name * Var.var
  2. | Subquery of 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
val show_select_clause : select_clause -> Ppx_deriving_runtime.string
val show_from_clause : from_clause -> 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
val string_of_label : string -> string
module Arithmetic : sig ... end
module SqlFuns : sig ... end
val order_by_clause : int -> string
val pp_comma : Format.formatter -> unit -> unit
val pp_comma_separated : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a list -> unit
val pr_query : (table_name -> string) -> bool -> Format.formatter -> query -> unit
val pr_base : (table_name -> string) -> bool -> Format.formatter -> base -> unit
val inline_outer_with : query -> query
val string_of_base : (table_name -> string) -> bool -> base -> string
val string_of_query : ?range:(int * int) option -> (table_name -> string) -> query -> string
OCaml

Innovation. Community. Security.