Mercurial > urweb

comparison lib/basis.lig @ 104:b1e5398a7f30

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial HTML attributes support
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 15:04:32 -0400
parents 94afff1ff7f6
children da760c34f5ed
comparison
equal deleted inserted replaced
103:8921f0344193 104:b1e5398a7f30
1 type int 1 type int
2 type float 2 type float
3 type string 3 type string
4 4
5 5
6 con tag :: {Unit} -> {Unit} -> Type 6 con tag :: {Type} -> {Unit} -> {Unit} -> Type
7 7
8 8
9 con xml :: {Unit} -> Type 9 con xml :: {Unit} -> Type
10 val cdata : ctx ::: {Unit} -> string -> xml ctx 10 val cdata : ctx ::: {Unit} -> string -> xml ctx
11 val tag : outer ::: {Unit} -> inner ::: {Unit} 11 val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type} -> attrsGiven ~ attrsAbsent
12 -> tag outer inner 12 -> outer ::: {Unit} -> inner ::: {Unit}
13 -> $attrsGiven
14 -> tag (attrsGiven ++ attrsAbsent) outer inner
13 -> xml inner 15 -> xml inner
14 -> xml outer 16 -> xml outer
15 val join : shared :: {Unit} 17 val join : shared :: {Unit}
16 -> ctx1 ::: {Unit} -> ctx1 ~ shared 18 -> ctx1 ::: {Unit} -> ctx1 ~ shared
17 -> ctx2 ::: {Unit} -> ctx2 ~ shared 19 -> ctx2 ::: {Unit} -> ctx2 ~ shared
18 -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared 20 -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared
19 21
20 22
21 val head : tag [Html] [Head] 23 val head : tag [] [Html] [Head]
22 val title : tag [Head] [] 24 val title : tag [] [Head] []
23 25
24 val body : tag [Html] [Body] 26 val body : tag [] [Html] [Body]
25 val p : tag [Body] [Body] 27 val p : tag [] [Body] [Body]
26 val b : tag [Body] [Body] 28 val b : tag [] [Body] [Body]
27 val i : tag [Body] [Body] 29 val i : tag [] [Body] [Body]
30 val font : tag [Size = int, Face = string] [Body] [Body]