links 0.9.6 · OCaml Package

type base_type =

| Bool
| Char
| Float
| Int
| String
| DateTime

type tag = int

val pp_tag : 
  Ppx_deriving_runtime.Format.formatter ->
  tag ->
  Ppx_deriving_runtime.unit

val show_tag : tag -> Ppx_deriving_runtime.string

type t =

| For of tag option * (Var.var * t) list * t list * t
| If of t * t * t
| Table of Value.table
| Database of Value.database * string
| Singleton of t
| Concat of t list
| Dedup of t
| Prom of t
| Record of t Utility.StringMap.t
| Project of t * string
| Erase of t * Utility.StringSet.t
| Variant of string * t
| XML of Value.xmlitem
| Apply of t * t list
| Closure of Ir.var list * Ir.computation * env
| Case of t * (Var.binder * t) Utility.StringMap.t * (Var.binder * t) option
| Primitive of string
| Var of Var.var * Types.datatype
| Constant of CommonTypes.Constant.t

and env = {

venv : Value.env;
qenv : t Env.Int.t;
policy : CommonTypes.QueryPolicy.t;

}

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

val pp_env : 
  Ppx_deriving_runtime.Format.formatter ->
  env ->
  Ppx_deriving_runtime.unit

val show_env : env -> Ppx_deriving_runtime.string

val query_error : ('a, unit, string, 'b) format4 -> 'a

val nil : t

val bind : env -> (Env.Int.name * t) -> env

val lookup : env -> Var.var -> t

val expression_of_base_value : Value.t -> t

val check_policies_compatible : 
  CommonTypes.QueryPolicy.t ->
  CommonTypes.QueryPolicy.t ->
  unit

val field_types_of_row : Types.datatype -> Types.datatype Utility.StringMap.t

val unbox_xml : t -> Value.xmlitem

val unbox_string : t -> string

val unbox_list : t -> t list

val unbox_pair : t -> t * t

val unbox_record : t -> t Utility.StringMap.t

val used_database : t -> Value.database option

val string_of_t : t -> string

val recdty_field_types : Types.datatype -> Types.datatype Utility.StringMap.t

val env_of_value_env : CommonTypes.QueryPolicy.t -> Value.env -> env

val empty_env : CommonTypes.QueryPolicy.t -> env

val append_env : env -> env -> env

val subst : t -> Var.var -> t -> t

val occurs_free_gens : 
  (Var.var * t) list ->
  t ->
  (Var.var * t * Types.datatype) option

val type_of_expression : t -> Types.datatype

val eta_expand_var : (Var.var * Types.datatype) -> t

val eta_expand_list : t -> (Var.var * t) list * t list * t

val default_of_base_type : CommonTypes.Primitive.t -> t

val value_of_expression : t -> Value.t

val labels_of_field_types : 'a Utility.StringMap.t -> Utility.StringSet.t

val table_field_types : Value.table -> Types.typ Utility.StringMap.t

val is_list : t -> bool

val likeify : t -> t option

val sql_of_query : t -> Sql.query

val base : Sql.index -> t -> Sql.base

type let_clause = Var.var * t * Var.var * t

type let_query = let_clause list

val sql_of_let_query : let_query -> Sql.query

val update : ((Var.var * string) * t option * t) -> Sql.query

val delete : ((Var.var * string) * t option) -> Sql.query

val insert : string -> string list -> Value.t list list -> Sql.query

module type QUERY_VISITOR = sig ... end

module Transform : QUERY_VISITOR

package links