Commit | Line | Data |
---|---|---|
5a2812ca AC |
1 | signature SUPPORT = |
2 | sig | |
3 | datatype status = | |
4 | NEW | |
5 | | PENDING | |
6 | | CLOSED | |
7 | ||
8 | type category = { id : int, grp : int, name : string, descr : string } | |
9 | type issue = { id : int, usr : int, cat : int, title : string, priv : bool, status : status, stamp : Init.C.timestamp } | |
10 | type post = { id : int, usr : int, iss : int, body : string, stamp : Init.C.timestamp } | |
11 | type subscription = { usr : int, cat : int } | |
12 | ||
13 | val lookupCategory : int -> category | |
14 | val listCategories : unit -> category list | |
15 | val listCategoriesWithSubscriptions : int -> (bool * category) list | |
16 | val addCategory : int * string * string -> int | |
17 | val modCategory : category -> unit | |
18 | val deleteCategory : int -> unit | |
19 | ||
20 | val lookupIssue : int -> issue | |
21 | val listIssues : unit -> issue list | |
5d851d7c AC |
22 | val listOpenIssues : int -> (string * issue) list |
23 | val listCategoryIssues : int -> (string * issue) list | |
24 | val listOpenCategoryIssues : int * int -> (string * issue) list | |
25 | val listOpenCategoryIssuesAdmin : int -> (string * issue) list | |
5a2812ca AC |
26 | val addIssue : int * int * string * bool * status -> int |
27 | val modIssue : issue -> unit | |
28 | val deleteIssue : int -> unit | |
29 | ||
30 | val lookupPost : int -> post | |
edeb626e | 31 | val listPosts : int -> (string * post) list |
5a2812ca AC |
32 | val addPost : int * int * string -> int |
33 | val modPost : post -> unit | |
34 | val deletePost : int -> unit | |
35 | ||
36 | val subscribed : subscription -> bool | |
37 | val subscribe : subscription -> unit | |
38 | val unsubscribe : subscription -> unit | |
1cb3df3f AC |
39 | |
40 | val validTitle : string -> bool | |
edeb626e AC |
41 | val allowedToSee : int -> bool |
42 | val allowedToEdit : int -> bool | |
43 | ||
44 | val notifyCreation : int -> bool | |
45 | val notifyPost : int -> bool | |
46 | val notifyStatus : int * status * status * int -> bool | |
5a2812ca | 47 | end |