diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-10-22 11:51:31 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-22 11:51:31 -0400 |
commit | be70af1ef8d1de3b201507c9e9227d41eceeefdd (patch) | |
tree | c5717cddb5c35dac338b88916ed982d2263d9cbc /demo/more/meta.urs | |
parent | 7726688ab1c0bd5b73c4bb756fa6357b2212e44e (diff) |
Move stuff from bulkEdit to meta
Diffstat (limited to 'demo/more/meta.urs')
-rw-r--r-- | demo/more/meta.urs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/demo/more/meta.urs b/demo/more/meta.urs index 17e8a9f3..e949e5ee 100644 --- a/demo/more/meta.urs +++ b/demo/more/meta.urs @@ -15,3 +15,9 @@ val textarea : string -> meta (string, string) val allWidgets : ts ::: {(Type * Type)} -> $(map meta ts) -> folder ts -> xml form [] (map snd ts) + +val allPopulatedTr : ts ::: {(Type * Type)} -> $(map meta ts) -> $(map fst ts) -> folder ts + -> xml ([Tr] ++ form) [] (map snd ts) + +val ensql : avail ::: {{Type}} -> ts ::: {(Type * Type)} -> $(map meta ts) -> $(map snd ts) -> folder ts + -> $(map (sql_exp avail [] []) (map fst ts)) |