Mercurial > urweb

comparison demo/more/meta.urs @ 1009:59097824f19b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Viewing papers
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 12:16:31 -0400
parents 1911e84df461
children 16f7cb0891b6
comparison
equal deleted inserted replaced
1008:1911e84df461 1009:59097824f19b
11 val string : string -> meta (string, string) 11 val string : string -> meta (string, string)
12 val bool : string -> meta (bool, bool) 12 val bool : string -> meta (bool, bool)
13 13
14 val textarea : string -> meta (string, string) 14 val textarea : string -> meta (string, string)
15 15
16 val allContent : ts ::: {(Type * Type)} -> $(map meta ts) -> $(map fst ts) -> folder ts -> xbody
17
16 val allWidgets : ts ::: {(Type * Type)} -> $(map meta ts) -> folder ts 18 val allWidgets : ts ::: {(Type * Type)} -> $(map meta ts) -> folder ts
17 -> xml form [] (map snd ts) 19 -> xml form [] (map snd ts)
18 20
19 val allPopulatedTr : ts ::: {(Type * Type)} -> $(map meta ts) -> $(map fst ts) -> folder ts 21 val allPopulatedTr : ts ::: {(Type * Type)} -> $(map meta ts) -> $(map fst ts) -> folder ts
20 -> xml ([Tr] ++ form) [] (map snd ts) 22 -> xml ([Tr] ++ form) [] (map snd ts)