Mercurial > urweb

comparison demo/more/meta.urs @ 1011:16f7cb0891b6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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))