Mercurial > urweb

comparison tests/crud.urs @ 341:389399d65331

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud update form
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 19:03:55 -0400
parents 075b36dbb1a4
children a94a79820d49
comparison
equal deleted inserted replaced
340:5ccb1c6412e4 341:389399d65331
1 con colMeta = fn t_formT :: (Type * Type) => { 1 con colMeta = fn t_formT :: (Type * Type) => {
2 Nam : string, 2 Nam : string,
3 Show : t_formT.1 -> xbody, 3 Show : t_formT.1 -> xbody,
4 Widget : nm :: Name -> xml form [] [nm = t_formT.2], 4 Widget : nm :: Name -> xml form [] [nm = t_formT.2],
5 WidgetPopulated : nm :: Name -> t_formT.1 -> xml form [] [nm = t_formT.2],
5 Parse : t_formT.2 -> t_formT.1, 6 Parse : t_formT.2 -> t_formT.1,
6 Inject : sql_injectable t_formT.1 7 Inject : sql_injectable t_formT.1
7 } 8 }
8 con colsMeta = fn cols :: {(Type * Type)} => $(Top.mapT2T colMeta cols) 9 con colsMeta = fn cols :: {(Type * Type)} => $(Top.mapT2T colMeta cols)
9 10