package links

  1. Overview
  2. Docs
type base_type =
  1. | Bool
  2. | Char
  3. | Float
  4. | Int
  5. | String
  6. | DateTime
type tag = int
val pp_tag : Ppx_deriving_runtime.Format.formatter -> tag -> Ppx_deriving_runtime.unit
type genkind =
  1. | Entries
  2. | Keys
val pp_genkind : Ppx_deriving_runtime.Format.formatter -> genkind -> Ppx_deriving_runtime.unit
val show_genkind : genkind -> Ppx_deriving_runtime.string
type t =
  1. | For of tag option * (genkind * Var.var * t) list * t list * t
  2. | If of t * t * t
  3. | Table of Value.table
  4. | Database of Value.database * string
  5. | Singleton of t
  6. | MapEntry of t * t
  7. | Concat of t list
  8. | Dedup of t
  9. | Prom of t
  10. | GroupBy of Var.var * t * t
  11. | AggBy of (t * string) Utility.StringMap.t * t
  12. | Lookup of t * t
  13. | Record of t Utility.StringMap.t
  14. | Project of t * string
  15. | Erase of t * Utility.StringSet.t
  16. | Variant of string * t
  17. | XML of Value.xmlitem
  18. | Apply of t * t list
  19. | Closure of Ir.var list * Ir.computation * env
  20. | Case of t * (Var.binder * t) Utility.StringMap.t * (Var.binder * t) option
  21. | Primitive of string
  22. | Var of Var.var * Types.datatype
  23. | Constant of CommonTypes.Constant.t
and env = {
  1. venv : Value.env;
  2. qenv : t Env.Int.t;
  3. policy : CommonTypes.QueryPolicy.t;
}
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val pp_env : Ppx_deriving_runtime.Format.formatter -> env -> Ppx_deriving_runtime.unit
val query_error : ('a, unit, string, 'b) Stdlib.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 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 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 : (genkind * 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 -> (genkind * 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 FlattenRecords : sig ... end
OCaml

Innovation. Community. Security.