Mercurial > urweb
comparison demo/crud1.ur @ 634:6302b10dbe0e
Folder generation for functors
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 24 Feb 2009 15:54:05 -0500 |
parents | 6c4643880df5 |
children | 1a317a707d71 |
comparison
equal
deleted
inserted
replaced
633:03ab853c8e4b | 634:6302b10dbe0e |
---|---|
7 | 7 |
8 val cols = {A = Crud.int "A", | 8 val cols = {A = Crud.int "A", |
9 B = Crud.string "B", | 9 B = Crud.string "B", |
10 C = Crud.float "C", | 10 C = Crud.float "C", |
11 D = Crud.bool "D"} | 11 D = Crud.bool "D"} |
12 | |
13 val fl = Folder.cons [#A] [_] ! | |
14 (Folder.cons [#B] [_] ! | |
15 (Folder.cons [#C] [_] ! | |
16 (Folder.cons [#D] [_] ! | |
17 Folder.nil))) | |
18 end) | 12 end) |