init.sig

   1 signature INIT = sig
   2     structure C : SQL_CLIENT
   3
   4     val urlPrefix : string
   5     val boardEmail : string
   6
   7     exception Access of string
   8     exception NeedTos
   9
  10     type user = {id : int, name : string, rname : string, bal : int, joined : C.timestamp,
  11                  app : int}
  12
  13     val rowError : string * C.value list -> 'a
  14
  15     val mkUserRow : C.value list -> user
  16
  17     (* Open or close a session, wrapped in a transaction *)
  18     val init : unit -> unit
  19     val done : unit -> unit
  20
  21     val nextSeq : C.conn * string -> int
  22
  23     (* Fun with users *)
  24
  25     val lookupUser : int -> user
  26     val listUsers : unit -> user list
  27     val addUser : string * string * int * int -> int
  28     (* Pass name, real name, and balance ID *)
  29     val modUser : user -> unit
  30     val deleteUser : int -> string
  31
  32     val validUsername : string -> bool
  33     val userNameToId : string -> int option
  34
  35     val getDb : unit -> C.conn
  36
  37     val getUser : unit -> user
  38     val getUserId : unit -> int
  39     val getUserName : unit -> string
  40
  41     val dateString : unit -> string
  42
  43     val grandfatherUsers : unit -> unit
  44 end