package macaque

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.