Mercurial > urweb

annotate demo/more/decision.ur @ 1031:5dccff15fa62

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Decision status placeholder
author Adam Chlipala <adamc@hcoop.net>
date Mon, 02 Nov 2009 15:54:22 -0500
parents 6bcc1020d5cd
children 5d9f47124c4c
rev   line source
adamc@1030 1 val decision = {Nam = "Decision",
adamc@1030 2 Initialize = None,
adamc@1030 3 Show = fn bo => cdata (case bo of
adamc@1030 4 None => "?"
adamc@1030 5 | Some True => "Accept"
adamc@1030 6 | Some False => "Reject"),
adamc@1030 7 Inject = _}
adamc@1030 8
adamc@1030 9 functor Make(M : sig
adamc@1030 10 con paperOther :: {Type}
adamc@1030 11 constraint [Id, Decision] ~ paperOther
adamc@1030 12 include Conference.INPUT
adamc@1030 13 where con paper = [Decision = option bool] ++ paperOther
adamc@1031 14
adamc@1031 15 val status : ctx ::: {Unit} -> [[Body] ~ ctx] => $paperOther -> xml ([Body] ++ ctx) [] []
adamc@1030 16 end) = struct
adamc@1030 17 open M
adamc@1030 18
adamc@1030 19 val linksForChair =
adamc@1030 20 let
adamc@1030 21 fun makeDecisions () =
adamc@1030 22 ps <- queryX (SELECT paper.Id, paper.Decision, paper.{{M.paperOther}}
adamc@1030 23 FROM paper
adamc@1030 24 ORDER BY paper.Id)
adamc@1030 25 (fn r => <xml><tr>
adamc@1030 26 <td>{useMore (summarizePaper (r.Paper -- #Id))}</td>
adamc@1031 27 <td>{useMore (status (r.Paper -- #Id -- #Decision))}</td>
adamc@1030 28 <td><entry>
adamc@1030 29 <hidden{#Paper} value={show r.Paper.Id}/>
adamc@1030 30 <select{#Decision}>
adamc@1030 31 <option selected={r.Paper.Decision = None}>?</option>
adamc@1030 32 <option selected={r.Paper.Decision = Some True}>Accept</option>
adamc@1030 33 <option selected={r.Paper.Decision = Some False}>Reject</option>
adamc@1030 34 </select></entry></td>
adamc@1030 35 </tr></xml>);
adamc@1030 36 return <xml><body>
adamc@1030 37 <h1>Make acceptance decisions</h1>
adamc@1030 38
adamc@1030 39 <form><subforms{#Papers}>
adamc@1030 40 <table>
adamc@1031 41 <tr> <th>Paper</th> <th>Status</th> <th>Decision</th> </tr>
adamc@1030 42 {ps}
adamc@1030 43 </table>
adamc@1030 44 </subforms></form>
adamc@1030 45 </body></xml>
adamc@1030 46 in
adamc@1030 47 <xml>
adamc@1030 48 <li><a link={makeDecisions ()}>Make acceptance decisions</a></li>
adamc@1030 49 </xml>
adamc@1030 50 end
adamc@1030 51
adamc@1030 52 val linksForPc = <xml/>
adamc@1030 53
adamc@1030 54 con yourPaperTables = []
adamc@1030 55 constraint [Paper] ~ yourPaperTables
adamc@1030 56 fun joinYourPaper [tabs] [paper] [[Paper] ~ tabs] [[Paper] ~ _] [tabs ~ yourPaperTables] [[Id] ~ paper]
adamc@1030 57 uid (fi : sql_from_items ([Paper = [Id = paperId] ++ paper] ++ tabs)) = fi
adamc@1030 58 end