annotate tests/crud1.ur @ 347:58eeeb3cbf40
Use checkbox in CRUD example
author |
Adam Chlipala <adamc@hcoop.net> |
date |
Sat, 04 Oct 2008 16:15:13 -0400 |
parents |
389399d65331 |
children |
b88f4297167f |
rev |
line source |
adamc@325
|
1 table t1 : {Id : int, A : int, B : string, C : float, D : bool}
|
adamc@325
|
2
|
adamc@325
|
3 open Crud.Make(struct
|
adamc@339
|
4 con cols :: {(Type * Type)} = [
|
adamc@339
|
5 A = (int, string),
|
adamc@339
|
6 B = (string, string),
|
adamc@339
|
7 C = (float, string),
|
adamc@347
|
8 D = (bool, bool)
|
adamc@339
|
9 ]
|
adamc@339
|
10
|
adamc@325
|
11 val tab = t1
|
adamc@325
|
12
|
adamc@325
|
13 val title = "Crud1"
|
adamc@325
|
14
|
adamc@325
|
15 val cols = {
|
adamc@339
|
16 A = {
|
adamc@339
|
17 Nam = "A",
|
adamc@339
|
18 Show = txt _,
|
adamc@339
|
19 Widget = fn nm :: Name => <lform><textbox{nm}/></lform>,
|
adamc@341
|
20 WidgetPopulated = fn (nm :: Name) n => <lform><textbox{nm} value={show _ n}/></lform>,
|
adamc@339
|
21 Parse = readError _,
|
adamc@339
|
22 Inject = sql_int
|
adamc@339
|
23 },
|
adamc@339
|
24 B = {
|
adamc@339
|
25 Nam = "B",
|
adamc@339
|
26 Show = txt _,
|
adamc@339
|
27 Widget = fn nm :: Name => <lform><textbox{nm}/></lform>,
|
adamc@341
|
28 WidgetPopulated = fn (nm :: Name) s => <lform><textbox{nm} value={s}/></lform>,
|
adamc@339
|
29 Parse = readError _,
|
adamc@339
|
30 Inject = sql_string
|
adamc@339
|
31 },
|
adamc@339
|
32 C = {
|
adamc@339
|
33 Nam = "C",
|
adamc@339
|
34 Show = txt _,
|
adamc@339
|
35 Widget = fn nm :: Name => <lform><textbox{nm}/></lform>,
|
adamc@341
|
36 WidgetPopulated = fn (nm :: Name) n => <lform><textbox{nm} value={show _ n}/></lform>,
|
adamc@339
|
37 Parse = readError _,
|
adamc@339
|
38 Inject = sql_float
|
adamc@339
|
39 },
|
adamc@339
|
40 D = {
|
adamc@339
|
41 Nam = "D",
|
adamc@339
|
42 Show = txt _,
|
adamc@347
|
43 Widget = fn nm :: Name => <lform><checkbox{nm}/></lform>,
|
adamc@347
|
44 WidgetPopulated = fn (nm :: Name) b => <lform><checkbox{nm} checked={b}/></lform>,
|
adamc@347
|
45 Parse = fn x => x,
|
adamc@339
|
46 Inject = sql_bool
|
adamc@339
|
47 }
|
adamc@325
|
48 }
|
adamc@325
|
49 end)
|