Join script should rule out retired usernames
[bpt/portal.git] / roll.sig
CommitLineData
a4ccdb5e
AC
1signature ROLL =
2sig
3 val activeUsernames : unit -> string list
4
5 type roll_call = {
6 id : int,
7 title : string,
8 msg : string,
9 started : Init.C.timestamp
10 }
11
12 val addRollCall : string * string -> int
13 val modRollCall : roll_call -> unit
14 val deleteRollCall : int -> unit
15 val lookupRollCall : int -> roll_call
16 val listRollCalls : unit -> roll_call list
17
18 type roll_call_entry = {
19 rol : int,
20 usr : int,
21 code : string,
22 responded : Init.C.timestamp option
23 }
24
25 val listEntries : int -> (Init.user * roll_call_entry) list * (Init.user * roll_call_entry) list
26 val lookupEntry : int * int -> roll_call_entry
27 val respond : int * int -> unit
28end