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)) |