Join script should rule out retired usernames
[bpt/portal.git] / app.sig
1 signature APP =
2 sig
3 datatype status =
4 CONFIRMING
5 | PENDING
6 | ACCEPTED
7 | REJECTED
8 | ADDED
9 | BEING_ADDED
10
11 val readTosBody : unit -> string
12 val readTosAgree : unit -> string
13 val readTosMinorAgree : unit -> string
14
15 type app = { id : int, name : string, rname : string, gname : string option, email : string,
16 forward : bool, uses : string, other : string,
17 passwd : string, status : status, applied : Init.C.timestamp,
18 ipaddr : string option,
19 confirmed : Init.C.timestamp option, decided : Init.C.timestamp option,
20 msg : string, unix_passwd : string,
21 paypal : string option, checkout : string option }
22
23 val lookupApp : int -> app
24 val listApps : status list -> app list
25
26 val votes : int -> (int * string) list
27 val vote : int * int -> unit
28 val unvote : int * int -> unit
29
30 val deny : int * string -> bool
31 val approve : int * string -> bool
32 val preAdd : int -> unit
33 val add : int -> unit
34 val abortAdd : int -> unit
35 val welcome : int -> unit
36
37 val searchPaypal : string -> app list
38 val searchCheckout : string -> app list
39 end