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, unix_passwd : string,
  20                  paypal : string option, checkout : string option }
  21
  22     val lookupApp : int -> app
  23     val listApps : status -> app list
  24
  25     val votes : int -> (int * string) list
  26     val vote : int * int -> unit
  27     val unvote : int * int -> unit
  28
  29     val deny : int * string -> bool
  30     val approve : int * string -> bool
  31     val add : int -> unit
  32     val abortAdd : int -> unit
  33     val welcome : int -> unit
  34
  35     val searchPaypal : string -> app list
  36     val searchCheckout : string -> app list
  37 end