macaque 0.8 (latest) · OCaml Package

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

package macaque