Commit | Line | Data |
---|---|---|
a90da8b1 AC |
1 | signature APP = |
2 | sig | |
3 | datatype status = | |
4 | CONFIRMING | |
5 | | PENDING | |
6 | | ACCEPTED | |
7 | | REJECTED | |
6f91863c | 8 | | ADDED |
a90da8b1 | 9 | |
f3f3ad24 AC |
10 | val readTosBody : unit -> string |
11 | val readTosAgree : unit -> string | |
12 | val readTosMinorAgree : unit -> string | |
13 | ||
14 | type app = { id : int, name : string, rname : string, gname : string option, email : string, | |
6f91863c AC |
15 | forward : bool, uses : string, other : string, |
16 | passwd : string, status : status, applied : Init.C.timestamp, | |
f3f3ad24 | 17 | ipaddr : string option, |
6f91863c | 18 | confirmed : Init.C.timestamp option, decided : Init.C.timestamp option, |
a2d53da2 | 19 | msg : string, unix_passwd : string } |
a90da8b1 AC |
20 | |
21 | val lookupApp : int -> app | |
98a5f121 | 22 | val listApps : status -> app list |
a90da8b1 | 23 | |
6f91863c AC |
24 | val votes : int -> (int * string) list |
25 | val vote : int * int -> unit | |
26 | val unvote : int * int -> unit | |
27 | ||
28 | val deny : int * string -> bool | |
29 | val approve : int * string -> bool | |
98a5f121 AC |
30 | val add : int -> unit |
31 | val abortAdd : int -> unit | |
688bf30c | 32 | val welcome : int -> unit |
a2d53da2 | 33 | end |