package macaque

  1. Overview
  2. Docs
package macaque
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Sql_typesSource

module SQLI = Sql_internals
Sourcetype 'a writable
Sourcetype non_writable
Sourcetype nullable
Sourcetype non_nullable
Sourceclass type 't type_info = object ... end
Sourceclass type numeric_t = object ... end
Sourceclass type unit_t = object ... end
Sourceclass type bool_t = object ... end
Sourceclass type int16_t = object ... end
Sourceclass type int32_t = object ... end
Sourceclass type int64_t = object ... end
Sourceclass type float_t = object ... end
Sourceclass type string_t = object ... end
Sourceclass type bytea_t = object ... end
Sourceclass type time_t = object ... end
Sourceclass type date_t = object ... end
Sourceclass type timestamp_t = object ... end
Sourceclass type timestamptz_t = object ... end
Sourceclass type interval_t = object ... end
Sourceclass type int32_array_t = object ... end
Sourceclass type 'row row_t = object ... end
Sourcetype 't type_info_only = < t : 't type_info >
Sourcetype +'a t = SQLI.value
Sourceval untyped_t : 'a -> 'a
Sourcetype '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 >
Sourcetype 'a record_parser = 'a SQLI.record_parser
Sourcetype (+'a, 'w) view = SQLI.view
Sourceval untyped_view : 'a -> 'a
Sourcetype +'a query = SQLI.query
Sourcetype where = SQLI.where
Sourcetype from = SQLI.from
Sourcetype 'a sql_type = SQLI.sql_type
Sourceval untyped_type : 'a -> 'a
Sourceval recover_type : SQLI.sql_type -> SQLI.sql_type -> SQLI.sql_type
Sourceval get_type : ('a * 'b) -> 'b
Sourcetype +'a result = SQLI.result constraint 'a = < .. >
Sourcetype 'a unsafe = 'a
Sourceval unsafe : 'a -> 'a unsafe
Sourceval force_gettable : SQLI.value -> < get : unit.. > t
Sourcetype ('a, 'b) witness = 'b
Sourcetype 'n nul_witness = ('n, bool) witness
Sourceval nullable_witness : bool
Sourceval non_nullable_witness : bool
Sourcetype 'a atom = SQLI.atom
Sourceval get_val : SQLI.atom -> 'a
Sourceval get : 'a t -> 'b
Sourceval getn : 'a t -> 'b option
Sourcetype grouped_row = unit
Sourceval grouped_row : unit
Sourcetype 'a accum = 'a t
Sourcetype 'a group = 'a t
Sourceval accum : 'a -> 'a
Sourceval group_of_accum : 'a -> 'a
Sourceval handle_query_results : SQLI.query -> string array list -> 'a
Sourceval break : 'a -> 'a
Sourceval break_view : 'a -> 'a
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct