Initial revision

[hcoop/portal.git] / init.sig

signature INIT = sig
    structure C : SQL_CLIENT

    exception Access of string

    type user = {id : int, name : string, rname : string, bal : int, joined : C.timestamp}

    val mkUserRow : string list -> user

    (* Open or close a session, wrapped in a transaction *)
    val init : unit -> unit
    val done : unit -> unit

    val nextSeq : C.conn * string -> string

    (* Fun with users *)

    val lookupUser : int -> user
    val listUsers : unit -> user list
    val addUser : string * string * int -> int
    (* Pass name, real name, and balance ID *)
    val modUser : user -> unit
    val deleteUser : int -> string

    val validUsername : string -> bool
    val userNameToId : string -> int option

    val getDb : unit -> C.conn

    val getUser : unit -> user
    val getUserId : unit -> int
    val getUserName : unit -> string
end