macaque 0.7 · OCaml Package

val null : < get : unit ; nul : nullable ; t : < .. > > t

val nullable : 
  < nul : non_nullable ; t : 't.. > t ->
  < nul : nullable ; t : 't > t

val is_null : < nul : nullable.. > t -> < nul : non_nullable ; t : bool_t > t

val is_not_null : 
  < nul : nullable.. > t ->
  < nul : non_nullable ; t : bool_t > t

val of_option : 
  < nul : non_nullable ; t : 't.. > t option ->
  < nul : nullable ; t : 't > t

type 'a arith_op = 'a binary_op
  constraint
    'a =
    < a : < nul : 'c ; t : numeric_t as 'd.. > as 'b
    ; b : < nul : 'c ; t : 'd.. > as 'e
    ; in_t : 'd
    ; nul : 'c
    ; out_t : 'd >

val (+) : 
  < a : < nul : 'a ; t : numeric_t as 'b.. >
    ; b : < nul : 'a ; t : 'b.. >
    ; in_t : 'b
    ; nul : 'a
    ; out_t : 'b >
    arith_op

val (-) : 
  < a : < nul : 'a ; t : numeric_t as 'b.. >
    ; b : < nul : 'a ; t : 'b.. >
    ; in_t : 'b
    ; nul : 'a
    ; out_t : 'b >
    arith_op

val (/) : 
  < a : < nul : 'a ; t : numeric_t as 'b.. >
    ; b : < nul : 'a ; t : 'b.. >
    ; in_t : 'b
    ; nul : 'a
    ; out_t : 'b >
    arith_op

val (*) : 
  < a : < nul : 'a ; t : numeric_t as 'b.. >
    ; b : < nul : 'a ; t : 'b.. >
    ; in_t : 'b
    ; nul : 'a
    ; out_t : 'b >
    arith_op

type 'a comp_op = 'a 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 : bool_t >

val (<) : 
  < a : < nul : 'a ; t : 'b.. >
    ; b : < nul : 'a ; t : 'b.. >
    ; in_t : 'b
    ; nul : 'a
    ; out_t : bool_t >
    comp_op

val (<=) : 
  < a : < nul : 'a ; t : 'b.. >
    ; b : < nul : 'a ; t : 'b.. >
    ; in_t : 'b
    ; nul : 'a
    ; out_t : bool_t >
    comp_op

val (=) : 
  < a : < nul : 'a ; t : 'b.. >
    ; b : < nul : 'a ; t : 'b.. >
    ; in_t : 'b
    ; nul : 'a
    ; out_t : bool_t >
    comp_op

val (<>) : 
  < a : < nul : 'a ; t : 'b.. >
    ; b : < nul : 'a ; t : 'b.. >
    ; in_t : 'b
    ; nul : 'a
    ; out_t : bool_t >
    comp_op

val (>=) : 
  < a : < nul : 'a ; t : 'b.. >
    ; b : < nul : 'a ; t : 'b.. >
    ; in_t : 'b
    ; nul : 'a
    ; out_t : bool_t >
    comp_op

val (>) : 
  < a : < nul : 'a ; t : 'b.. >
    ; b : < nul : 'a ; t : 'b.. >
    ; in_t : 'b
    ; nul : 'a
    ; out_t : bool_t >
    comp_op

val is_distinct_from : 
  < nul : 'n ; t : 't.. > t ->
  < nul : 'n ; t : 't.. > t ->
  < nul : non_nullable ; t : bool_t > t

val is_not_distinct_from : 
  < nul : 'n ; t : 't.. > t ->
  < nul : 'n ; t : 't.. > t ->
  < nul : non_nullable ; t : bool_t > t

val in' : 
  < nul : 'n ; t : 't.. > t ->
  < nul : 'n ; t : 't.. > t list ->
  < nul : 'n ; t : bool_t > t

type 'a logic_op = 'a binary_op
  constraint
    'a =
    < a : < nul : 'c ; t : bool_t as 'd.. > as 'b
    ; b : < nul : 'c ; t : 'd.. > as 'e
    ; in_t : 'd
    ; nul : 'c
    ; out_t : 'd >

val (&&) : 
  < a : < nul : 'a ; t : bool_t as 'b.. >
    ; b : < nul : 'a ; t : 'b.. >
    ; in_t : 'b
    ; nul : 'a
    ; out_t : 'b >
    logic_op

val (||) : 
  < a : < nul : 'a ; t : bool_t as 'b.. >
    ; b : < nul : 'a ; t : 'b.. >
    ; in_t : 'b
    ; nul : 'a
    ; out_t : 'b >
    logic_op

val not : < nul : 'n ; t : bool_t.. > t -> < nul : 'n ; t : bool_t > t

val count : 'a group -> < nul : non_nullable ; t : int64_t > t

val min : 
  < nul : 'n ; t : numeric_t as 'a.. > group ->
  < nul : nullable ; t : 'a > t

val max : 
  < nul : 'n ; t : numeric_t as 'a.. > group ->
  < nul : nullable ; t : 'a > t

val sum : 
  < nul : 'n ; t : numeric_t as 'a.. > group ->
  < nul : nullable ; t : 'a > t

val md5 : < nul : 'n ; t : string_t.. > group -> < nul : 'n ; t : string_t > t

val nextval : 'a sequence -> < nul : non_nullable ; t : 'a > t

val currval : 'a sequence -> < nul : non_nullable ; t : 'a > t

val current_timestamp : 
  < t : unit_t.. > t ->
  < nul : 'a ; t : timestamptz_t > t

val localtimestamp : < t : unit_t.. > t -> < nul : 'a ; t : timestamp_t > t

package macaque