9 | data HTMLTag : (tag : String) -> Type where
11 | Address : HTMLTag "address"
12 | Area : HTMLTag "area"
13 | Article : HTMLTag "article"
14 | Aside : HTMLTag "aside"
15 | Audio : HTMLTag "audio"
16 | Base : HTMLTag "base"
17 | Blockquote : HTMLTag "blockquote"
18 | Body : HTMLTag "body"
20 | Button : HTMLTag "button"
21 | Canvas : HTMLTag "canvas"
22 | Caption : HTMLTag "caption"
24 | Colgroup : HTMLTag "colgroup"
25 | Data : HTMLTag "data"
26 | Datalist : HTMLTag "datalist"
28 | Details : HTMLTag "details"
29 | Dialog : HTMLTag "dialog"
32 | Embed : HTMLTag "embed"
33 | FieldSet : HTMLTag "fieldset"
34 | Footer : HTMLTag "footer"
35 | Form : HTMLTag "form"
43 | Header : HTMLTag "header"
44 | Html : HTMLTag "html"
45 | IFrame : HTMLTag "iframe"
47 | Input : HTMLTag "input"
49 | Label : HTMLTag "label"
50 | Legend : HTMLTag "legend"
52 | Link : HTMLTag "link"
54 | Menu : HTMLTag "menu"
55 | Meta : HTMLTag "meta"
56 | Meter : HTMLTag "meter"
57 | Object : HTMLTag "object"
59 | OptGroup : HTMLTag "optgroup"
60 | Option : HTMLTag "option"
61 | Output : HTMLTag "output"
63 | Param : HTMLTag "param"
64 | Picture : HTMLTag "picture"
66 | Progress : HTMLTag "progress"
68 | Script : HTMLTag "script"
69 | Section : HTMLTag "section"
70 | Select : HTMLTag "select"
71 | Slot : HTMLTag "slot"
72 | Source : HTMLTag "source"
73 | Span : HTMLTag "span"
74 | Style : HTMLTag "style"
76 | Table : HTMLTag "table"
77 | Tbody : HTMLTag "tbody"
79 | Template : HTMLTag "template"
80 | TextArea : HTMLTag "textarea"
81 | Tfoot : HTMLTag "tfoot"
83 | Thead : HTMLTag "thead"
84 | Time : HTMLTag "time"
85 | Title : HTMLTag "title"
87 | Track : HTMLTag "track"
89 | Video : HTMLTag "video"
94 | data ValidityTag : (t : HTMLTag s) -> Type where
95 | SVButton : ValidityTag Button
96 | SVFieldSet : ValidityTag FieldSet
97 | SVInput : ValidityTag Input
98 | SVObject : ValidityTag Object
99 | SVOutput : ValidityTag Output
100 | SVSelect : ValidityTag Select
101 | SVTextArea : ValidityTag TextArea
106 | data ValueTag : (t : HTMLTag s) -> Type where
107 | VButton : ValueTag Button
108 | VData : ValueTag Data
109 | VInput : ValueTag Input
110 | VOption : ValueTag Option
111 | VOutput : ValueTag Output
112 | VParam : ValueTag Param
113 | VSelect : ValueTag Select
114 | VTextArea : ValueTag TextArea