Ur/Web: tests/crud1.ur annotate

top.urs indents and type-checks with new twiddle syntax

author	Adam Chlipala <adamc@hcoop.net>
date	Sun, 12 Oct 2008 11:50:21 -0400
parents	9390c55b9f1f
children	c1e96b387115

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@353	5 Widget = fn nm :: Name => <lform><textbox{nm}/></lform>,
adamc@353	6 WidgetPopulated = fn (nm :: Name) n =>
adamc@353	7 <lform><textbox{nm} value={show _ n}/></lform>,
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@353	13 Widget = fn nm :: Name => <lform><textbox{nm}/></lform>,
adamc@353	14 WidgetPopulated = fn (nm :: Name) s =>
adamc@353	15 <lform><textbox{nm} value={s}/></lform>,
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@353	21 Widget = fn nm :: Name => <lform><textbox{nm}/></lform>,
adamc@353	22 WidgetPopulated = fn (nm :: Name) n =>
adamc@353	23 <lform><textbox{nm} value={show _ n}/></lform>,
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@353	29 Widget = fn nm :: Name => <lform><checkbox{nm}/></lform>,
adamc@353	30 WidgetPopulated = fn (nm :: Name) b =>
adamc@353	31 <lform><checkbox{nm} checked={b}/></lform>,
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)

Mercurial > urweb