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