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

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