package links

  1. Overview
  2. Docs
module QL = QueryLang
module E = MixingQuery.Eval
module S = Sql
exception EvalMixingUnimplemented of string
val error : string -> 'a
val eval_error : ('r, unit, string, 'a) Stdlib.format4 -> 'r
val mapstrcat : string -> ('a -> string) -> 'a list -> string
val dummy_sql_empty_query : S.multiplicity * S.select_fields * 'a list * S.base * 'b list * 'c list
val dependency_of_contains_free : bool -> S.dependency
val disjunct : S.multiplicity -> QL.t -> S.query
val aggregator : (QL.t * string) Utility.StringMap.t -> QL.t -> S.query
val generator : Var.var list -> (QL.genkind * Var.var * QL.t) -> S.from_clause
val body : S.multiplicity -> (QL.genkind * Var.var * QL.t) list -> QL.t list -> QL.t -> S.select_clause
val base_exp : QL.t -> S.base
val sql_of_query : QL.t -> S.query
val compile_mixing : delateralize:CommonTypes.QueryPolicy.t -> Value.env -> ((int * int) option * Ir.computation) -> (Value.database * Sql.query * Types.datatype * (Value.t -> Value.t)) option
OCaml

Innovation. Community. Security.