Increase domain component length limit
[hcoop/zz_old/portal.git] / request.sig
CommitLineData
ff2b7604 1signature REQUEST_IN =
2sig
3 val table : string
4 val adminGroup : string
5 val subject : string -> string
6 val body : Mail.session * string -> unit
7 val template : string
8 val descr : string
9end
10
11signature REQUEST_OUT =
12sig
13 datatype status =
14 NEW
15 | INSTALLED
16 | REJECTED
17
18 type request = { id : int, usr : int, data : string, msg : string, status : status, stamp : Init.C.timestamp }
19
20 val statusFromInt : int -> status
21
22 val add : int * string * string -> int
23 val lookup : int -> request
24 val modify : request -> unit
25 val delete : int -> unit
26 val list : unit -> (string * request) list
27 val listOpen : unit -> (string * request) list
28
29 val notifyNew : int -> bool
30 val notifyMod : status * status * string * int -> bool
31end