Check (u.d18039f04ffe49f087bfbf8e0b20047d.macaque.0.8.doc.macaque.Check)

Source

val perform_check : 
  ('a -> 'b) ->
  ('c PGOCaml.t PGOCaml.monad -> 'd -> 'a) ->
  'd ->
  'b

Source

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

Sourceval check_table : ('a, 'b Sql.writable) Sql.view -> unit

Source

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

Sourceval check_sequence : 'a Sql.sequence -> unit