macaque 0.7 · 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 'a arith_op = 'a Sql_types.binary_op
  constraint
    'a =
    < a : < nul : 'c ; t : Sql_types.numeric_t as 'd.. > as 'b
    ; b : < nul : 'c ; t : 'd.. > as 'e
    ; in_t : 'd
    ; nul : 'c
    ; out_t : 'd >

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 'a comp_op = 'a Sql_types.binary_op
  constraint
    'a =
    < a : < nul : 'c ; t : 'd.. > as 'b
    ; b : < nul : 'c ; t : 'd.. > as 'e
    ; in_t : 'd
    ; nul : 'c
    ; 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 'a logic_op = 'a Sql_types.binary_op
  constraint
    'a =
    < a : < nul : 'c ; t : Sql_types.bool_t as 'd.. > as 'b
    ; b : < nul : 'c ; t : 'd.. > as 'e
    ; in_t : 'd
    ; nul : 'c
    ; out_t : 'd >

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