annotate demo/sql.ur @ 410:c5a3d223f157

Sql demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 18:44:52 -0400
parents
children c471345f5165
rev   line source
adamc@410 1 table t : { A : int, B : float, C : string, D : bool }
adamc@410 2
adamc@410 3 fun list () =
adamc@410 4 rows <- queryX (SELECT * FROM t)
adamc@410 5 (fn row => <xml><tr>
adamc@410 6 <td>{[row.T.A]}</td> <td>{[row.T.B]}</td> <td>{[row.T.C]}</td> <td>{[row.T.D]}</td>
adamc@410 7 <td><a link={delete row.T.A}>[delete]</a></td>
adamc@410 8 </tr></xml>);
adamc@410 9 return <xml>
adamc@410 10 <table border=1>
adamc@410 11 <tr> <th>A</th> <th>B</th> <th>C</th> <th>D</th> </tr>
adamc@410 12 {rows}
adamc@410 13 </table>
adamc@410 14
adamc@410 15 <br/><hr/><br/>
adamc@410 16
adamc@410 17 <form>
adamc@410 18 <table>
adamc@410 19 <tr> <th>A:</th> <td><textbox{#A}/></td> </tr>
adamc@410 20 <tr> <th>B:</th> <td><textbox{#B}/></td> </tr>
adamc@410 21 <tr> <th>C:</th> <td><textbox{#C}/></td> </tr>
adamc@410 22 <tr> <th>D:</th> <td><checkbox{#D}/></td> </tr>
adamc@410 23 <tr> <th/> <td><submit action={add} value="Add Row"/></td> </tr>
adamc@410 24 </table>
adamc@410 25 </form>
adamc@410 26 </xml>
adamc@410 27
adamc@410 28 and add r =
adamc@410 29 () <- dml (INSERT INTO t (A, B, C, D)
adamc@410 30 VALUES ({readError r.A}, {readError r.B}, {r.C}, {r.D}));
adamc@410 31 xml <- list ();
adamc@410 32 return <xml><body>
adamc@410 33 <p>Row added.</p>
adamc@410 34
adamc@410 35 {xml}
adamc@410 36 </body></xml>
adamc@410 37
adamc@410 38 and delete a =
adamc@410 39 () <- dml (DELETE FROM t
adamc@410 40 WHERE t.A = {a});
adamc@410 41 xml <- list ();
adamc@410 42 return <xml><body>
adamc@410 43 <p>Row deleted.</p>
adamc@410 44
adamc@410 45 {xml}
adamc@410 46 </body></xml>
adamc@410 47
adamc@410 48 fun main () =
adamc@410 49 xml <- list ();
adamc@410 50 return <xml><body>
adamc@410 51 {xml}
adamc@410 52 </body></xml>