annotate tests/crud1.ur @ 360:c1e96b387115
Syntax highlighting for embedded XML
author |
Adam Chlipala <adamc@hcoop.net> |
date |
Tue, 14 Oct 2008 16:37:43 -0400 |
parents |
9390c55b9f1f |
children |
24a31b35e08f |
rev |
line source |
adamc@325
|
1 table t1 : {Id : int, A : int, B : string, C : float, D : bool}
|
adamc@325
|
2
|
adamc@353
|
3 val a = {Nam = "A",
|
adamc@353
|
4 Show = txt _,
|
adamc@360
|
5 Widget = fn nm :: Name => <xml><textbox{nm}/></xml>,
|
adamc@353
|
6 WidgetPopulated = fn (nm :: Name) n =>
|
adamc@360
|
7 <xml><textbox{nm} value={show _ n}/></xml>,
|
adamc@353
|
8 Parse = readError _,
|
adamc@353
|
9 Inject = _}
|
adamc@353
|
10
|
adamc@353
|
11 val b = {Nam = "B",
|
adamc@353
|
12 Show = txt _,
|
adamc@360
|
13 Widget = fn nm :: Name => <xml><textbox{nm}/></xml>,
|
adamc@353
|
14 WidgetPopulated = fn (nm :: Name) s =>
|
adamc@360
|
15 <xml><textbox{nm} value={s}/></xml>,
|
adamc@353
|
16 Parse = readError _,
|
adamc@353
|
17 Inject = _}
|
adamc@353
|
18
|
adamc@353
|
19 val c = {Nam = "C",
|
adamc@353
|
20 Show = txt _,
|
adamc@360
|
21 Widget = fn nm :: Name => <xml><textbox{nm}/></xml>,
|
adamc@353
|
22 WidgetPopulated = fn (nm :: Name) n =>
|
adamc@360
|
23 <xml><textbox{nm} value={show _ n}/></xml>,
|
adamc@353
|
24 Parse = readError _,
|
adamc@353
|
25 Inject = _}
|
adamc@353
|
26
|
adamc@353
|
27 val d = {Nam = "D",
|
adamc@353
|
28 Show = txt _,
|
adamc@360
|
29 Widget = fn nm :: Name => <xml><checkbox{nm}/></xml>,
|
adamc@353
|
30 WidgetPopulated = fn (nm :: Name) b =>
|
adamc@360
|
31 <xml><checkbox{nm} checked={b}/></xml>,
|
adamc@353
|
32 Parse = fn x => x,
|
adamc@353
|
33 Inject = _}
|
adamc@353
|
34
|
adamc@325
|
35 open Crud.Make(struct
|
adamc@350
|
36 val tab = t1
|
adamc@350
|
37
|
adamc@350
|
38 val title = "Crud1"
|
adamc@350
|
39
|
adamc@353
|
40 val cols = {A = a,
|
adamc@353
|
41 B = b,
|
adamc@353
|
42 C = c,
|
adamc@353
|
43 D = d}
|
adamc@350
|
44 end)
|