package macaque

  1. Overview
  2. Docs
val perform_check : ('a -> 'b) -> ('c PGOCaml.t PGOCaml.monad -> 'd -> 'e) -> 'f -> 'g
val check_table_description : string -> (string * Sql_internals.sql_type) list -> < column_name : < get : 'a ; nul : Sql.non_nullable ; t : string Sql.type_info > Sql.t ; data_type : < get : 'b ; nul : Sql.non_nullable ; t : string Sql.type_info > Sql.t ; is_nullable : < get : 'c ; nul : Sql.non_nullable ; t : bool Sql.type_info > Sql.t.. > list -> unit
val check_table : ('a, 'b Sql.writable) Sql.view -> unit
val check_sequence_description : string -> Sql_internals.atom_type -> < numeric_precision : < get : 'a ; nul : Sql.non_nullable ; t : int32 Sql.type_info > Sql.t.. > option -> unit
val check_sequence : 'a Sql.sequence -> unit
OCaml

Innovation. Community. Security.