blob: 43a69573d33ab24b72607cd6b4dcfcf80a462277 (
plain)
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
|
table t : { A : int, B : float, C : string, D : bool }
fun list () =
rows <- queryX (SELECT * FROM t)
(fn row => <xml><tr>
<td>{[row.T.A]}</td> <td>{[row.T.B]}</td> <td>{[row.T.C]}</td> <td>{[row.T.D]}</td>
<td><a link={delete row.T.A}>[delete]</a></td>
</tr></xml>);
return <xml>
<table border=1>
<tr> <th>A</th> <th>B</th> <th>C</th> <th>D</th> </tr>
{rows}
</table>
<br/><hr/><br/>
<form>
<table>
<tr> <th>A:</th> <td><textbox{#A}/></td> </tr>
<tr> <th>B:</th> <td><textbox{#B}/></td> </tr>
<tr> <th>C:</th> <td><textbox{#C}/></td> </tr>
<tr> <th>D:</th> <td><checkbox{#D}/></td> </tr>
<tr> <th/> <td><submit action={add} value="Add Row"/></td> </tr>
</table>
</form>
</xml>
and add r =
dml (INSERT INTO t (A, B, C, D)
VALUES ({readError r.A}, {readError r.B}, {r.C}, {r.D}));
xml <- list ();
return <xml><body>
<p>Row added.</p>
{xml}
</body></xml>
and delete a =
dml (DELETE FROM t
WHERE t.A = {a});
xml <- list ();
return <xml><body>
<p>Row deleted.</p>
{xml}
</body></xml>
fun main () =
xml <- list ();
return <xml><body>
{xml}
</body></xml>
|
