Application pipeline seems to be working

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

signature APP =
sig
    datatype status =
	     CONFIRMING
	   | PENDING
	   | ACCEPTED
	   | REJECTED
	   | ADDED

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

    type app = { id : int, name : string, rname : string, gname : string option, email : string,
		 forward : bool, uses : string, other : string,
		 passwd : string, status : status, applied : Init.C.timestamp,
		 ipaddr : string option,
		 confirmed : Init.C.timestamp option, decided : Init.C.timestamp option,
		 msg : string, unix_passwd : string }

    val lookupApp : int -> app
    val listApps : status -> app list

    val votes : int -> (int * string) list
    val vote : int * int -> unit
    val unvote : int * int -> unit

    val deny : int * string -> bool
    val approve : int * string -> bool
    val add : int -> unit
    val abortAdd : int -> unit
    val welcome : int -> unit
end