DOCTYPE element
This is implemented as "raw output", because the doctype doesn't accept attributes, such as those inserted via with.
:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Modulelucid-2.11.20230408Haskell2010
Html5 terms.
DOCTYPE element
This is implemented as "raw output", because the doctype doesn't accept attributes, such as those inserted via with.
DOCTYPE element + html element
a element
abbr element
address element
area element
article element
aside element
audio element
b element
base element
bdo element
blockquote element
body element
br element
button element
canvas element
caption element
cite element or cite attribute.
code element
col element
colgroup element
command element
datalist element
dd element
del element
details element
dfn element
div element
dl element
dt element
em element
embed element
fieldset element
figcaption element
figure element
form element or form attribute
h1 element
h2 element
h3 element
h4 element
h5 element
h6 element
head element
header element
hgroup element
hr element
html element
i element
iframe element
img element
input element
ins element
kbd element
keygen element
label element or label attribute
legend element
li element
link element
map element
main element
mark element
meta element
meter element
noscript element
object element
ol element
optgroup element
option element
output element
p element
param element
The svg attribute.
pre element
progress element
q element
rp element
rt element
ruby element
samp element
script element
section element
select element
small element
source element
span element or span attribute
strong element
style element or style attribute
sub element
summary element or summary attribute
sup element
table element
tbody element
td element
textarea element
tfoot element
th element
template element
thead element
time element
title element or title attribute
tr element
track element
ul element
var element
video element
wbr element
The accept attribute.
The acceptCharset attribute.
The accesskey attribute.
The action attribute.
The alt attribute.
The async attribute.
The autocomplete attribute.
The autofocus attribute.
The autoplay attribute.
The challenge attribute.
The charset attribute.
The checked attribute.
The class attribute.
Smart constructor for class attribute.
The cols attribute.
The colspan attribute.
The content attribute.
The contenteditable attribute.
The controls attribute.
The coords attribute.
The crossorigin attribute.
The data attribute.
The datetime attribute.
The defer attribute.
The dir attribute.
The disabled attribute.
The download attribute.
The draggable attribute.
The enctype attribute.
The for attribute.
The formaction attribute.
The formenctype attribute.
The formmethod attribute.
The formnovalidate attribute.
The formtarget attribute.
The headers attribute.
The height attribute.
The high attribute.
The href attribute.
The hreflang attribute.
The httpEquiv attribute.
The icon attribute.
The id attribute.
The integrity attribute.
The ismap attribute.
The item attribute.
The itemprop attribute.
The keytype attribute.
The lang attribute.
The list attribute.
The loading attribute.
The loop attribute.
The low attribute.
The manifest attribute.
The max attribute.
The maxlength attribute.
The media attribute.
The method attribute.
The min attribute.
The minlength attribute.
The multiple attribute.
The name attribute.
The novalidate attribute.
The onbeforeonload attribute.
The onbeforeprint attribute.
The onblur attribute.
The oncanplay attribute.
The oncanplaythrough attribute.
The onchange attribute.
The onclick attribute.
The ondblclick attribute.
The ondrag attribute.
The ondragend attribute.
The ondragenter attribute.
The ondragleave attribute.
The ondragover attribute.
The ondragstart attribute.
The ondrop attribute.
The ondurationchange attribute.
The onemptied attribute.
The onended attribute.
The onerror attribute.
The onfocus attribute.
The onformchange attribute.
The onforminput attribute.
The onhaschange attribute.
The oninput attribute.
The oninvalid attribute.
The onkeydown attribute.
The onkeyup attribute.
The onload attribute.
The onloadeddata attribute.
The onloadedmetadata attribute.
The onloadstart attribute.
The onmessage attribute.
The onmousedown attribute.
The onmousemove attribute.
The onmouseout attribute.
The onmouseover attribute.
The onmouseup attribute.
The onmousewheel attribute.
The ononline attribute.
The onpagehide attribute.
The onpageshow attribute.
The onpause attribute.
The onplay attribute.
The onplaying attribute.
The onprogress attribute.
The onpropstate attribute.
The onratechange attribute.
The onreadystatechange attribute.
The onredo attribute.
The onresize attribute.
The onscroll attribute.
The onseeked attribute.
The onseeking attribute.
The onselect attribute.
The onstalled attribute.
The onstorage attribute.
The onsubmit attribute.
The onsuspend attribute.
The ontimeupdate attribute.
The onundo attribute.
The onunload attribute.
The onvolumechange attribute.
The onwaiting attribute.
The open attribute.
The optimum attribute.
The pattern attribute.
The ping attribute.
The placeholder attribute.
The poster attribute.
The preload attribute.
The pubdate attribute.
The radiogroup attribute.
The readonly attribute.
The rel attribute.
The required attribute.
The reversed attribute.
The role attribute.
The rows attribute.
The rowspan attribute.
The sandbox attribute.
The scope attribute.
The scoped attribute.
The seamless attribute.
The selected attribute.
The shape attribute.
The size attribute.
The sizes attribute.
The spellcheck attribute.
The src attribute.
The srcdoc attribute.
The start attribute.
The step attribute.
The subject attribute.
The tabindex attribute.
The target attribute.
The type attribute.
The usemap attribute.
The value attribute.
The width attribute.
The wrap attribute.
The xmlns attribute.