package macaque
-
macaque
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package macaque
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val perform_check :
('a -> 'b) ->
('c PGOCaml.t PGOCaml.monad -> 'd -> 'a) ->
'd ->
'bval 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 ->
unitval check_table : ('a, 'b Sql.writable) Sql.view -> unitval check_sequence_description :
string ->
Sql_internals.atom_type ->
< numeric_precision :
< get : 'a ; nul : Sql.non_nullable ; t : int32 Sql.type_info > Sql.t.. >
option ->
unitval check_sequence : 'a Sql.sequence -> unit