adamc@1022
|
1 signature INPUT = sig
|
adamc@1023
|
2 con paper :: {Type}
|
adamc@1022
|
3 constraint [Id, Document] ~ paper
|
adamc@1022
|
4
|
adamc@1022
|
5 type userId
|
adamc@1022
|
6 val userId_inj : sql_injectable_prim userId
|
adamc@1022
|
7 table user : {Id : userId, Nam : string, Password : string, Chair : bool, OnPc : bool}
|
adamc@1022
|
8 PRIMARY KEY Id,
|
adamc@1022
|
9 CONSTRAINT Nam UNIQUE Nam
|
adamc@1022
|
10
|
adamc@1022
|
11 type paperId
|
adamc@1022
|
12 val paperId_inj : sql_injectable_prim paperId
|
adamc@1023
|
13 val paperId_show : show paperId
|
adamc@1023
|
14 val paperId_read : read paperId
|
adamc@1025
|
15 val paperId_eq : eq paperId
|
adamc@1023
|
16 table paper : ([Id = paperId, Document = blob] ++ paper)
|
adamc@1022
|
17 PRIMARY KEY Id
|
adamc@1022
|
18
|
adamc@1022
|
19 val checkLogin : transaction (option {Id : userId, Nam : string, Chair : bool, OnPc : bool})
|
adamc@1022
|
20 val getLogin : transaction {Id : userId, Nam : string, Chair : bool, OnPc : bool}
|
adamc@1023
|
21 val getPcLogin : transaction {Id : userId, Nam : string, Chair : bool}
|
adamc@1025
|
22 val checkChair : transaction unit
|
adamc@1023
|
23 val summarizePaper : ctx ::: {Unit} -> [[Body] ~ ctx] => $paper -> xml ([Body] ++ ctx) [] []
|
adamc@1022
|
24 end
|
adamc@1022
|
25
|
adamc@1022
|
26 signature OUTPUT = sig
|
adamc@1023
|
27 con paper :: {Type}
|
adamc@1022
|
28 type userId
|
adamc@1022
|
29 type paperId
|
adamc@1022
|
30
|
adamc@1022
|
31 val linksForPc : xbody
|
adamc@1025
|
32 val linksForChair : xbody
|
adamc@1022
|
33
|
adamc@1022
|
34 con yourPaperTables :: {{Type}}
|
adamc@1022
|
35 constraint [Paper] ~ yourPaperTables
|
adamc@1022
|
36 val joinYourPaper : tabs ::: {{Type}} -> paper ::: {Type}
|
adamc@1022
|
37 -> [[Paper] ~ tabs] => [[Paper] ~ yourPaperTables] => [tabs ~ yourPaperTables] => [[Id] ~ paper] =>
|
adamc@1027
|
38 userId (* Current user *)
|
adamc@1027
|
39 -> sql_from_items ([Paper = [Id = paperId] ++ paper] ++ tabs)
|
adamc@1022
|
40 -> sql_from_items (yourPaperTables ++ [Paper = [Id = paperId] ++ paper] ++ tabs)
|
adamc@1022
|
41 end
|
adamc@1022
|
42
|
adamc@1001
|
43 functor Make(M : sig
|
adamc@1003
|
44 con paper :: {(Type * Type)}
|
adamc@1010
|
45 constraint [Id, Document, Authors] ~ paper
|
adamc@1004
|
46 val paper : $(map Meta.meta paper)
|
adamc@1007
|
47 val paperFolder : folder paper
|
adamc@1003
|
48
|
adamc@1030
|
49 con paperPrivate :: {Type}
|
adamc@1030
|
50 constraint [Id, Document, Authors] ~ paperPrivate
|
adamc@1030
|
51 constraint paper ~ paperPrivate
|
adamc@1030
|
52 val paperPrivate : $(map Meta.private paperPrivate)
|
adamc@1030
|
53 val paperPrivateFolder : folder paperPrivate
|
adamc@1030
|
54
|
adamc@1001
|
55 con review :: {(Type * Type)}
|
adamc@1003
|
56 constraint [Paper, User] ~ review
|
adamc@1004
|
57 val review : $(map Meta.meta review)
|
adamc@1011
|
58 val reviewFolder : folder review
|
adamc@1006
|
59
|
adamc@1006
|
60 val submissionDeadline : time
|
adamc@1030
|
61 val summarizePaper : ctx ::: {Unit} -> [[Body] ~ ctx] => $(map fst paper ++ paperPrivate)
|
adamc@1030
|
62 -> xml ([Body] ++ ctx) [] []
|
adamc@1022
|
63
|
adamc@1030
|
64 functor Make (M : INPUT where con paper = map fst paper ++ paperPrivate)
|
adamc@1030
|
65 : OUTPUT where con paper = map fst paper ++ paperPrivate
|
adamc@1023
|
66 where con userId = M.userId
|
adamc@1022
|
67 where con paperId = M.paperId
|
adamc@1001
|
68 end) : sig
|
adamc@1001
|
69
|
adamc@1001
|
70 val main : unit -> transaction page
|
adamc@1001
|
71
|
adamc@1001
|
72 end
|
adamc@1030
|
73
|
adamc@1030
|
74 functor Join(M : sig
|
adamc@1030
|
75 structure O1 : OUTPUT
|
adamc@1030
|
76
|
adamc@1030
|
77 structure O2 : OUTPUT where con paper = O1.paper
|
adamc@1030
|
78 where con userId = O1.userId
|
adamc@1030
|
79 where con paperId = O1.paperId
|
adamc@1030
|
80
|
adamc@1030
|
81 constraint O1.yourPaperTables ~ O2.yourPaperTables
|
adamc@1030
|
82 end) : OUTPUT where con paper = M.O1.paper
|
adamc@1030
|
83 where con userId = M.O1.userId
|
adamc@1030
|
84 where con paperId = M.O1.paperId
|
adamc@1030
|
85 where con yourPaperTables = M.O1.yourPaperTables ++ M.O2.yourPaperTables
|