signature DBMS = sig
val validDbname : string -> bool
+ val validEncoding : string option -> bool
- type handler = {adduser : string -> string option,
- createdb : {user : string, dbname : string} -> string option}
+ type handler = {getpass : (unit -> Client.passwd_result) option,
+ adduser : {user : string, passwd : string option} -> 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