package macaque

  1. Overview
  2. Docs
module SQLI = Sql_internals
type 'a writable
type non_writable
type nullable
type non_nullable
class type 't type_info = object ... end
class type numeric_t = object ... end
class type unit_t = object ... end
class type bool_t = object ... end
class type int16_t = object ... end
class type int32_t = object ... end
class type int64_t = object ... end
class type float_t = object ... end
class type string_t = object ... end
class type bytea_t = object ... end
class type time_t = object ... end
class type date_t = object ... end
class type timestamp_t = object ... end
class type timestamptz_t = object ... end
class type interval_t = object ... end
class type int32_array_t = object ... end
class type 'row row_t = object ... end
type 't type_info_only = < t : 't type_info >
type +'a t = SQLI.value
val untyped_t : 'a -> 'a
type 'phant binary_op = 'a t -> 'b t -> 'c t constraint 'a = < t : 'in_t ; nul : 'n.. > constraint 'b = < t : 'in_t ; nul : 'n.. > constraint 'c = < t : 'out_t ; nul : 'n > constraint 'phant = < in_t : 'in_t ; out_t : 'out_t ; nul : 'n ; a : 'a ; b : 'b >
type 'a record_parser = 'a SQLI.record_parser
type (+'a, 'w) view = SQLI.view
val untyped_view : 'a -> 'a
type +'a query = SQLI.query
type where = SQLI.where
type from = SQLI.from
type 'a sql_type = SQLI.sql_type
val untyped_type : 'a -> 'a
val recover_type : SQLI.sql_type -> SQLI.sql_type -> SQLI.sql_type
val get_type : ('a * 'b) -> 'b
type +'a result = SQLI.result constraint 'a = < .. >
type 'a unsafe = 'a
val unsafe : 'a -> 'a unsafe
val force_gettable : < .. > t -> < get : unit.. > t
type ('a, 'b) witness = 'b
type 'n nul_witness = ('n, bool) witness
val nullable_witness : bool
val non_nullable_witness : bool
type 'a atom = SQLI.atom
val get_val : < get : 'b ; t : 'a type_info.. > atom -> 'a
val get : 'a t -> 'b
val getn : 'a t -> 'b option
type grouped_row = unit
val grouped_row : unit
type 'a accum = 'a t
type 'a group = 'a t
val accum : 'a -> 'a
val group_of_accum : 'a -> 'a
val handle_query_results : 'a query -> string array list -> 'a
val break : 'a -> 'a
val break_view : 'a -> 'a