view demo/more/decision.ur @ 1030:6bcc1020d5cd

Start of Decision
author Adam Chlipala <adamc@hcoop.net>
date Mon, 02 Nov 2009 15:48:06 -0500
parents
children 5dccff15fa62
line wrap: on
line source
val decision = {Nam = "Decision",
                Initialize = None,
                Show = fn bo => cdata (case bo of
                                           None => "?"
                                         | Some True => "Accept"
                                         | Some False => "Reject"),
                Inject = _}

functor Make(M : sig
                 con paperOther :: {Type}
                 constraint [Id, Decision] ~ paperOther
                 include Conference.INPUT
                         where con paper = [Decision = option bool] ++ paperOther
             end) = struct
    open M

    val linksForChair =
        let
            fun makeDecisions () =
                ps <- queryX (SELECT paper.Id, paper.Decision, paper.{{M.paperOther}}
                              FROM paper
                              ORDER BY paper.Id)
                      (fn r => <xml><tr>
                        <td>{useMore (summarizePaper (r.Paper -- #Id))}</td>
                        <td><entry>
                          <hidden{#Paper} value={show r.Paper.Id}/>
                          <select{#Decision}>
                            <option selected={r.Paper.Decision = None}>?</option>
                            <option selected={r.Paper.Decision = Some True}>Accept</option>
                            <option selected={r.Paper.Decision = Some False}>Reject</option>
                        </select></entry></td>
                      </tr></xml>);
                return <xml><body>
                  <h1>Make acceptance decisions</h1>

                  <form><subforms{#Papers}>
                    <table>
                      <tr> <th>Paper</th> <th>Decision</th> </tr>
                      {ps}
                    </table>
                  </subforms></form>
                </body></xml>
        in
            <xml>
              <li><a link={makeDecisions ()}>Make acceptance decisions</a></li>
            </xml>
        end

    val linksForPc = <xml/>

    con yourPaperTables = []
    constraint [Paper] ~ yourPaperTables
    fun joinYourPaper [tabs] [paper] [[Paper] ~ tabs] [[Paper] ~ _] [tabs ~ yourPaperTables] [[Id] ~ paper]
        uid (fi : sql_from_items ([Paper = [Id = paperId] ++ paper] ++ tabs)) = fi
end