macaque 0.8 · OCaml Package

val nullable : ('a * Sql_internals.sql_type) -> 'a * Sql_internals.sql_type

val null : Sql_internals.value' * Sql_internals.sql_type

val postfixop : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  string ->
  Sql_internals.value'

val is_null : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val is_not_null : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val of_option : 
  (Sql_internals.value' * Sql_internals.sql_type) option ->
  Sql_internals.value' * Sql_internals.sql_type

val same_op : 
  string ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val mono_op : 
  Sql_internals.atom_type ->
  string ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val poly_op : 
  Sql_internals.atom_type ->
  string ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

type 'phant arith_op = 'phant Sql_types.binary_op constraint 'phant = < in_t : Sql_types.numeric_t as 't ; out_t : 't.. >

val arith : 
  string ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val (+) : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val (-) : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val (/) : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val (*) : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

type 'phant comp_op = 'phant Sql_types.binary_op constraint 'phant = < out_t : Sql_types.bool_t.. >

val comp : 
  string ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val (<) : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val (<=) : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val (<>) : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val (=) : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val (>=) : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val (>) : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val is_distinct_from : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val is_not_distinct_from : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val in' : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) list ->
  Sql_internals.value' * Sql_internals.sql_type

type 'phant logic_op = 'phant Sql_types.binary_op constraint 'phant = < in_t : Sql_types.bool_t as 't ; out_t : 't.. >

val logic : 
  string ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val (&&) : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val (||) : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val prefixop : 
  string ->
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value'

val not : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val count : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val min : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val max : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val sum : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val md5 : 
  (Sql_internals.value' * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val label : string -> Sql_internals.value' * Sql_internals.sql_type

val nextval : 
  (string * Sql_internals.atom_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val currval : 
  (string * Sql_internals.atom_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val current_timestamp : 
  ('a * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

val localtimestamp : 
  ('a * Sql_internals.sql_type) ->
  Sql_internals.value' * Sql_internals.sql_type

package macaque