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, |
20acb925 |
19 | msg : string, unix_passwd : string, |
20 | paypal : string option, checkout : string option } |
20a679fc |
21 | |
22 | val lookupApp : int -> app |
4b8df0b1 |
23 | val listApps : status -> app list |
20a679fc |
24 | |
453d7579 |
25 | val votes : int -> (int * string) list |
26 | val vote : int * int -> unit |
27 | val unvote : int * int -> unit |
28 | |
29 | val deny : int * string -> bool |
30 | val approve : int * string -> bool |
4b8df0b1 |
31 | val add : int -> unit |
32 | val abortAdd : int -> unit |
cee714e2 |
33 | val welcome : int -> unit |
20acb925 |
34 | |
35 | val searchPaypal : string -> app list |
36 | val searchCheckout : string -> app list |
8d550734 |
37 | end |