Join script should rule out retired usernames
[bpt/portal.git] / app / app.sig
CommitLineData
a90da8b1
AC
1signature APP =
2sig
3 structure C : SQL_CLIENT
4
5 val init : unit -> unit
6 val done : unit -> unit
7
f3f3ad24
AC
8 val readTosBody : unit -> string
9 val readTosAgree : unit -> string
10 val readTosMinorAgree : unit -> string
11
12 type application = { name : string, rname : string, gname : string option, email : string,
d5f8418b
AC
13 forward : bool, uses : string, other : string,
14 paypal : string option, checkout : string option }
a90da8b1 15
eea7b531 16 val apply : application -> string option
a90da8b1
AC
17
18 val validEmail : string -> bool
96bd398e 19 val validUsername : string -> bool
a90da8b1
AC
20 val userExists : string -> bool
21
eea7b531 22 val confirm : int * string -> bool
a2d53da2 23end