blob: 189b03509788a8e097efa2f70d4c46ea3b559277 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
type int
type float
type string
type unit = {}
con tag :: {Type} -> {Unit} -> {Unit} -> Type
con xml :: {Unit} -> Type
val cdata : ctx ::: {Unit} -> string -> xml ctx
val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type} -> attrsGiven ~ attrsAbsent
-> outer ::: {Unit} -> inner ::: {Unit}
-> $attrsGiven
-> tag (attrsGiven ++ attrsAbsent) outer inner
-> xml inner
-> xml outer
val join : shared :: {Unit}
-> ctx1 ::: {Unit} -> ctx1 ~ shared
-> ctx2 ::: {Unit} -> ctx2 ~ shared
-> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared
con xhtml = xml [Html]
val head : tag [] [Html] [Head]
val title : tag [] [Head] []
val body : tag [] [Html] [Body]
val p : tag [] [Body] [Body]
val b : tag [] [Body] [Body]
val i : tag [] [Body] [Body]
val font : tag [Size = int, Face = string] [Body] [Body]
val h1 : tag [] [Body] [Body]
val li : tag [] [Body] [Body]
val a : tag [Link = xhtml] [Body] [Body]
|