'retired' group for users who shouldn't be allowed to log in
[hcoop/portal.git] / init.sig
CommitLineData
208e2cbc
AC
1signature INIT = sig
2 structure C : SQL_CLIENT
3
edeb626e 4 val urlPrefix : string
6f91863c 5 val boardEmail : string
edeb626e 6
208e2cbc 7 exception Access of string
f3f3ad24 8 exception NeedTos
208e2cbc 9
93f77ca7
AC
10 val emailSuffix : string
11
f3f3ad24
AC
12 type user = {id : int, name : string, rname : string, bal : int, joined : C.timestamp,
13 app : int}
208e2cbc 14
ee587f7f
AC
15 val rowError : string * C.value list -> 'a
16
17 val mkUserRow : C.value list -> user
208e2cbc
AC
18
19 (* Open or close a session, wrapped in a transaction *)
20 val init : unit -> unit
21 val done : unit -> unit
22
ee587f7f 23 val nextSeq : C.conn * string -> int
208e2cbc
AC
24
25 (* Fun with users *)
26
27 val lookupUser : int -> user
28 val listUsers : unit -> user list
f3f3ad24 29 val addUser : string * string * int * int -> int
208e2cbc
AC
30 (* Pass name, real name, and balance ID *)
31 val modUser : user -> unit
32 val deleteUser : int -> string
33
34 val validUsername : string -> bool
35 val userNameToId : string -> int option
36
37 val getDb : unit -> C.conn
38
39 val getUser : unit -> user
40 val getUserId : unit -> int
41 val getUserName : unit -> string
98a5f121
AC
42
43 val dateString : unit -> string
f3f3ad24
AC
44
45 val grandfatherUsers : unit -> unit
93f77ca7 46end