Mercurial > urweb
comparison demo/more/meta.urs @ 1008:1911e84df461
Move stuff from bulkEdit to meta
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 22 Oct 2009 11:51:31 -0400 |
parents | d3af9e54c828 |
children | 59097824f19b |
comparison
equal
deleted
inserted
replaced
1007:d3af9e54c828 | 1008:1911e84df461 |
---|---|
13 | 13 |
14 val textarea : string -> meta (string, string) | 14 val textarea : string -> meta (string, string) |
15 | 15 |
16 val allWidgets : ts ::: {(Type * Type)} -> $(map meta ts) -> folder ts | 16 val allWidgets : ts ::: {(Type * Type)} -> $(map meta ts) -> folder ts |
17 -> xml form [] (map snd ts) | 17 -> xml form [] (map snd ts) |
18 | |
19 val allPopulatedTr : ts ::: {(Type * Type)} -> $(map meta ts) -> $(map fst ts) -> folder ts | |
20 -> xml ([Tr] ++ form) [] (map snd ts) | |
21 | |
22 val ensql : avail ::: {{Type}} -> ts ::: {(Type * Type)} -> $(map meta ts) -> $(map snd ts) -> folder ts | |
23 -> $(map (sql_exp avail [] []) (map fst ts)) |