package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Lang : sig ... end

val unbox_xml : Lang.t -> Value.xmlitem

val used_database : Lang.t -> Value.database option

val string_of_t : Lang.t -> string

val type_of_expression : Lang.t -> Types.datatype

val default_of_base_type : CommonTypes.Primitive.t -> Lang.t

val value_of_expression : Lang.t -> Value.t

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

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

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

val is_list : Lang.t -> bool

val sql_of_query : Lang.t -> Sql.query

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

type let_query = let_clause list

val sql_of_let_query : let_query -> Sql.query

module Eval : sig ... end

val compile_update : 
  Value.database ->
  Value.env ->
  ((Ir.var * string * Types.datatype Utility.StringMap.t)
   * Ir.computation option
   * Ir.computation) ->
  Sql.query

val compile_delete : 
  Value.database ->
  Value.env ->
  ((Ir.var * string * Types.datatype Utility.StringMap.t)
   * Ir.computation option) ->
  Sql.query

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