Specifying encoding on database creation

[hcoop/domtool2.git] / src / dbms.sig

diff --git a/src/dbms.sig b/src/dbms.sig
index 1107c5e..f49ec04 100644 (file)
--- a/src/dbms.sig
+++ b/src/dbms.sig
@@ -21,10 +21,14 @@
 signature DBMS = sig
 
     val validDbname : string -> bool
+    val validEncoding : string option -> bool
 
     type handler = {getpass : (unit -> Client.passwd_result) option,
                    adduser : {user : string, passwd : string option} -> string option,
-                   createdb : {user : string, dbname : string} -> string option}
+                   passwd : {user : string, passwd : string} -> string option,
+                   createdb : {user : string, dbname : string, encoding : string option} -> string option,
+                   dropdb : {user : string, dbname : string} -> string option,
+                   grant : {user : string, dbname : string} -> string option}
 
     val register : string * handler -> unit
     val lookup : string -> handler option