20a679fc |
1 | signature APP = |
2 | sig |
3 | datatype status = |
4 | CONFIRMING |
5 | | PENDING |
6 | | ACCEPTED |
7 | | REJECTED |
453d7579 |
8 | | ADDED |
20a679fc |
9 | |
5146e435 |
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, |
453d7579 |
15 | forward : bool, uses : string, other : string, |
16 | passwd : string, status : status, applied : Init.C.timestamp, |
5146e435 |
17 | ipaddr : string option, |
453d7579 |
18 | confirmed : Init.C.timestamp option, decided : Init.C.timestamp option, |
19 | msg : string } |
20a679fc |
20 | |
21 | val lookupApp : int -> app |
4b8df0b1 |
22 | val listApps : status -> app list |
20a679fc |
23 | |
453d7579 |
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 |
4b8df0b1 |
30 | val add : int -> unit |
31 | val abortAdd : int -> unit |
20a679fc |
32 | end |