Mercurial > urweb
comparison demo/more/meta.urs @ 1011:16f7cb0891b6
Initial support for char in SQL
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 22 Oct 2009 16:15:56 -0400 |
parents | 59097824f19b |
children | 6bcc1020d5cd |
comparison
equal
deleted
inserted
replaced
1010:6b0f3853cc81 | 1011:16f7cb0891b6 |
---|---|
16 val allContent : ts ::: {(Type * Type)} -> $(map meta ts) -> $(map fst ts) -> folder ts -> xbody | 16 val allContent : ts ::: {(Type * Type)} -> $(map meta ts) -> $(map fst ts) -> folder ts -> xbody |
17 | 17 |
18 val allWidgets : ts ::: {(Type * Type)} -> $(map meta ts) -> folder ts | 18 val allWidgets : ts ::: {(Type * Type)} -> $(map meta ts) -> folder ts |
19 -> xml form [] (map snd ts) | 19 -> xml form [] (map snd ts) |
20 | 20 |
21 val allPopulated : ts ::: {(Type * Type)} -> $(map meta ts) -> $(map fst ts) -> folder ts | |
22 -> xml form [] (map snd ts) | |
23 | |
21 val allPopulatedTr : ts ::: {(Type * Type)} -> $(map meta ts) -> $(map fst ts) -> folder ts | 24 val allPopulatedTr : ts ::: {(Type * Type)} -> $(map meta ts) -> $(map fst ts) -> folder ts |
22 -> xml ([Tr] ++ form) [] (map snd ts) | 25 -> xml ([Tr] ++ form) [] (map snd ts) |
23 | 26 |
24 val ensql : avail ::: {{Type}} -> ts ::: {(Type * Type)} -> $(map meta ts) -> $(map snd ts) -> folder ts | 27 val ensql : avail ::: {{Type}} -> ts ::: {(Type * Type)} -> $(map meta ts) -> $(map snd ts) -> folder ts |
25 -> $(map (sql_exp avail [] []) (map fst ts)) | 28 -> $(map (sql_exp avail [] []) (map fst ts)) |