Mercurial > urweb
annotate demo/more/decision.urs @ 1310:f0909fb3848f
Simplify type of Monad.appR2
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 17 Oct 2010 13:26:11 -0400 |
| parents | 5d9f47124c4c |
| children |
| rev | line source |
|---|---|
| adamc@1030 | 1 val decision : Meta.private (option bool) |
| adamc@1030 | 2 |
| adamc@1030 | 3 functor Make (M : sig |
| adamc@1030 | 4 con paperOther :: {Type} |
| adamc@1030 | 5 constraint [Id, Decision] ~ paperOther |
| adamc@1030 | 6 include Conference.INPUT |
| adamc@1030 | 7 where con paper = [Decision = option bool] ++ paperOther |
| adamc@1031 | 8 |
| adamc@1032 | 9 val status : ctx ::: {Unit} -> [[Body] ~ ctx] => $([Id = paperId] ++ paperOther) |
| adamc@1032 | 10 -> transaction (xml ([Body] ++ ctx) [] []) |
| adamc@1030 | 11 end) : Conference.OUTPUT where con paper = [Decision = option bool] ++ M.paperOther |
| adamc@1030 | 12 where con userId = M.userId |
| adamc@1030 | 13 where con paperId = M.paperId |
| adamc@1030 | 14 where con yourPaperTables = [] |