package macaque

  1. Overview
  2. Docs
val null_workaround : (Sql_internals.value' * Sql_internals.sql_type) -> Sql_internals.value' * Sql_internals.sql_type

operations

val check_atom_type : Sql_internals.sql_type -> Sql_internals.atom_type -> unit
val fixed_op : string -> (Sql_internals.value' * Sql_internals.sql_type) -> (Sql_internals.value' * Sql_internals.sql_type) -> Sql_internals.sql_type -> Sql_internals.value' * Sql_internals.sql_type
val op : (Sql_internals.sql_type -> Sql_internals.sql_type) -> string -> (Sql_internals.value' * Sql_internals.sql_type) -> (Sql_internals.value' * Sql_internals.sql_type) -> Sql_internals.value' * Sql_internals.sql_type
val cast : Sql_internals.value -> Sql_internals.sql_type -> Sql_internals.value' * Sql_internals.sql_type

values

val field : Sql_internals.value -> Sql_internals.field_name list -> 'a -> Sql_internals.value' * Sql_internals.sql_type
val default : Sql_internals.concrete_view Sql_internals.generic_view -> string -> 'a -> Sql_internals.value
val row : Sql_internals.row_name -> Sql_internals.view -> Sql_internals.value' * Sql_internals.sql_type
val tuple : Sql_internals.value Sql_base.tuple -> (tuple:'a -> Sql_internals.value Sql_base.tuple) -> (Sql_internals.descr -> (string array * int ref) -> 'b) -> Sql_internals.value' * Sql_internals.sql_type
val if_then_else : Sql_internals.value -> Sql_internals.value -> Sql_internals.value -> Sql_internals.value' * Sql_internals.sql_type
val match_null : Sql_internals.value -> Sql_internals.value -> (Sql_internals.value -> Sql_internals.value) -> Sql_internals.value
val table : Sql_internals.descr -> (row:'a -> Sql_internals.value Sql_base.tuple) -> (Sql_internals.descr -> (string array * int ref) -> 'b) -> Sql_internals.table_name -> ('c * Sql_internals.value Sql_base.tuple) -> Sql_internals.concrete_view Sql_internals.generic_view

tables

val view : (Sql_internals.select_result * Sql_internals.sql_type) -> ?order_by:(Sql_internals.value * Sql_internals.order) list -> ?limit:Sql_internals.value -> ?offset:Sql_internals.value -> Sql_internals.from -> Sql_internals.where -> Sql_internals.concrete_view Sql_internals.generic_view

views

type order = Sql_internals.order =
  1. | Asc
  2. | Desc

results

val simple_select : Sql_internals.row -> Sql_internals.select_result * Sql_internals.sql_type
val group : Sql_internals.row -> Sql_internals.row -> Sql_internals.select_result * Sql_internals.sql_type
val get_table : Sql_internals.concrete_view Sql_internals.generic_view -> Sql_internals.table_data Sql_internals.generic_view

queries

val value : Sql_internals.value -> Sql_internals.query
val select : Sql_internals.view -> Sql_internals.query
val insert : Sql_internals.concrete_view Sql_internals.generic_view -> Sql_internals.view -> Sql_internals.query
val delete : Sql_internals.concrete_view Sql_internals.generic_view -> Sql_internals.row_name -> Sql_internals.from -> Sql_internals.where -> Sql_internals.query
val update : Sql_internals.concrete_view Sql_internals.generic_view -> Sql_internals.row_name -> Sql_internals.value -> 'a -> Sql_internals.from -> Sql_internals.where -> Sql_internals.query