package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module QL = QueryLang

module E = MixingQuery.Eval

module C = CommonTypes.Constant

module S = Sql

exception EvalMixingUnimplemented of string

val error : string -> 'a

val eval_error : ('r, unit, string, 'a) format4 -> 'r0

val mapstrcat : string -> ('a -> string) -> 'a list -> string

val dummy_sql_empty_query : 
  S.multiplicity * S.select_fields * 'a list * S.base * 'b list

val dependency_of_contains_free : bool -> S.dependency

val disjunct : S.multiplicity -> QL.t -> S.query

val generator : Var.var list -> (Var.var * QL.t) -> S.from_clause

val body : 
  S.multiplicity ->
  (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) option