app.sig

   1 signature APP =
   2 sig
   3     datatype status =
   4              CONFIRMING
   5            | PENDING
   6            | ACCEPTED
   7            | REJECTED
   8            | ADDED
   9
  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,
  15                  forward : bool, uses : string, other : string,
  16                  passwd : string, status : status, applied : Init.C.timestamp,
  17                  ipaddr : string option,
  18                  confirmed : Init.C.timestamp option, decided : Init.C.timestamp option,
  19                  msg : string }
  20
  21     val lookupApp : int -> app
  22     val listApps : status -> app list
  23
  24     val votes : int -> (int * string) list
  25     val vote : int * int -> unit
  26     val unvote : int * int -> unit
  27
  28     val deny : int * string -> bool
  29     val approve : int * string -> bool
  30     val add : int -> unit
  31     val abortAdd : int -> unit
  32 end