package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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

val update : 
  Types.datatype Utility.StringMap.t ->
  ((Ir.var * string) * Q.t option * Q.t) ->
  string ->
  string ->
  Sql.query

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

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

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