[hcoop/zz_old/portal.git] / app / app.sig

signature APP =
sig
    structure C : SQL_CLIENT

    val init : unit -> unit
    val done : unit -> unit

    val readTosBody : unit -> string
    val readTosAgree : unit -> string
    val readTosMinorAgree : unit -> string

    type application = { name : string, rname : string, gname : string option, email : string,
			 forward : bool, uses : string, other : string }

    val apply : application -> bool

    val validEmail : string -> bool
    val validUser : string -> bool
    val userExists : string -> bool

    val confirm : int * string -> bool
end
Commit	Line	Data
20a679fc	1	signature APP =
	2	sig
	3	structure C : SQL_CLIENT
	4
	5	val init : unit -> unit
	6	val done : unit -> unit
	7
5146e435	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,
20a679fc	13	forward : bool, uses : string, other : string }
	14
	15	val apply : application -> bool
	16
	17	val validEmail : string -> bool
	18	val validUser : string -> bool
	19	val userExists : string -> bool
	20
	21	val confirm : int * string -> bool
	22	end