module type DbInterface = sig
.. end
Interface to be implemented by database managers
type
dbinfo
Connection information needed to connect to a database
type
database
Handler to a database connection
val connect : dbinfo -> database
Connecting to a database with the given database information
val init_db : database -> string -> unit
Create the table structure in the database. Data are stored in a
table whose name is given by the second argument.
val create_data : database ->
string ->
?log:bool ->
?visibility:Util.visibility -> 'a Db.coding -> string -> 'a -> 'a Db.data
Blah
val disconnect : database -> unit
Disconnecting from the database