Safe Haskell	None
Language	GHC2021

Halogen.HTML.Elements

Synopsis

type Node (r :: Row Type) w msg = [IProp r msg] -> [HTML w msg] -> HTML w msg
type Leaf (r :: Row Type) w msg = [IProp r msg] -> HTML w msg
type Array a = [a]
element :: forall (r :: Row Type) w i. ElemName -> Array (IProp r i) -> Array (HTML w i) -> HTML w i
elementNS :: forall (r :: Row Type) w i. Namespace -> ElemName -> Array (IProp r i) -> Array (HTML w i) -> HTML w i
keyed :: forall (r :: Row Type) w i. ElemName -> Array (IProp r i) -> Array (Text, HTML w i) -> HTML w i
keyedNS :: forall (r :: Row Type) w i. Namespace -> ElemName -> Array (IProp r i) -> Array (Text, HTML w i) -> HTML w i
withKeys :: forall (r :: Row Type) w i. (Array (IProp r i) -> Array (HTML w i) -> HTML w i) -> Array (IProp r i) -> Array (Text, HTML w i) -> HTML w i
withKeys_ :: (Array (HTML w i) -> HTML w i) -> Array (Text, HTML w i) -> HTML w i
a :: Node HTMLa w i
a_ :: Array (HTML w i) -> HTML w i
abbr :: Node HTMLabbr w i
abbr_ :: Array (HTML w i) -> HTML w i
address :: Node HTMLaddress w i
address_ :: Array (HTML w i) -> HTML w i
area :: Leaf HTMLarea w i
article :: Node HTMLarticle w i
article_ :: Array (HTML w i) -> HTML w i
aside :: Node HTMLaside w i
aside_ :: Array (HTML w i) -> HTML w i
audio :: Node HTMLaudio w i
audio_ :: Array (HTML w i) -> HTML w i
b :: Node HTMLb w i
b_ :: Array (HTML w i) -> HTML w i
base :: Leaf HTMLbase w i
bdi :: Node HTMLbdi w i
bdi_ :: Array (HTML w i) -> HTML w i
bdo :: Node HTMLbdo w i
bdo_ :: Array (HTML w i) -> HTML w i
blockquote :: Node HTMLblockquote w i
blockquote_ :: Array (HTML w i) -> HTML w i
body :: Node HTMLbody w i
body_ :: Array (HTML w i) -> HTML w i
br :: Leaf HTMLbr w i
br_ :: HTML w i
button :: Node HTMLbutton w i
button_ :: Array (HTML w i) -> HTML w i
canvas :: Leaf HTMLcanvas w i
caption :: Node HTMLcaption w i
caption_ :: Array (HTML w i) -> HTML w i
cite :: Node HTMLcite w i
cite_ :: Array (HTML w i) -> HTML w i
code :: Node HTMLcode w i
code_ :: Array (HTML w i) -> HTML w i
col :: Leaf HTMLcol w i
colgroup :: Node HTMLcolgroup w i
colgroup_ :: Array (HTML w i) -> HTML w i
command :: Leaf HTMLcommand w i
datalist :: Node HTMLdatalist w i
datalist_ :: Array (HTML w i) -> HTML w i
dd :: Node HTMLdd w i
dd_ :: Array (HTML w i) -> HTML w i
del :: Node HTMLdel w i
del_ :: Array (HTML w i) -> HTML w i
details :: Node HTMLdetails w i
details_ :: Array (HTML w i) -> HTML w i
dfn :: Node HTMLdfn w i
dfn_ :: Array (HTML w i) -> HTML w i
dialog :: Node HTMLdialog w i
dialog_ :: Array (HTML w i) -> HTML w i
div :: Node HTMLdiv w i
div_ :: Array (HTML w i) -> HTML w i
dl :: Node HTMLdl w i
dl_ :: Array (HTML w i) -> HTML w i
dt :: Node HTMLdt w i
dt_ :: Array (HTML w i) -> HTML w i
em :: Node HTMLem w i
em_ :: Array (HTML w i) -> HTML w i
embed :: Node HTMLembed w i
embed_ :: Array (HTML w i) -> HTML w i
fieldset :: Node HTMLfieldset w i
fieldset_ :: Array (HTML w i) -> HTML w i
figcaption :: Node HTMLfigcaption w i
figcaption_ :: Array (HTML w i) -> HTML w i
figure :: Node HTMLfigure w i
figure_ :: Array (HTML w i) -> HTML w i
footer :: Node HTMLfooter w i
footer_ :: Array (HTML w i) -> HTML w i
form :: Node HTMLform w i
form_ :: Array (HTML w i) -> HTML w i
h1 :: Node HTMLh1 w i
h1_ :: Array (HTML w i) -> HTML w i
h2 :: Node HTMLh2 w i
h2_ :: Array (HTML w i) -> HTML w i
h3 :: Node HTMLh3 w i
h3_ :: Array (HTML w i) -> HTML w i
h4 :: Node HTMLh4 w i
h4_ :: Array (HTML w i) -> HTML w i
h5 :: Node HTMLh5 w i
h5_ :: Array (HTML w i) -> HTML w i
h6 :: Node HTMLh6 w i
h6_ :: Array (HTML w i) -> HTML w i
head :: Node HTMLhead w i
head_ :: Array (HTML w i) -> HTML w i
header :: Node HTMLheader w i
header_ :: Array (HTML w i) -> HTML w i
hr :: Leaf HTMLhr w i
hr_ :: HTML w i
html :: Node HTMLhtml w i
html_ :: Array (HTML w i) -> HTML w i
i :: Node HTMLi w i
i_ :: Array (HTML w i) -> HTML w i
iframe :: Leaf HTMLiframe w i
img :: Leaf HTMLimg w i
input :: Leaf HTMLinput w i
ins :: Node HTMLins w i
ins_ :: Array (HTML w i) -> HTML w i
kbd :: Node HTMLkbd w i
kbd_ :: Array (HTML w i) -> HTML w i
label :: Node HTMLlabel w i
label_ :: Array (HTML w i) -> HTML w i
legend :: Node HTMLlegend w i
legend_ :: Array (HTML w i) -> HTML w i
li :: Node HTMLli w i
li_ :: Array (HTML w i) -> HTML w i
link :: Leaf HTMLlink w i
main :: Node HTMLmain w i
main_ :: Array (HTML w i) -> HTML w i
map :: Node HTMLmap w i
map_ :: Array (HTML w i) -> HTML w i
mark :: Node HTMLmark w i
mark_ :: Array (HTML w i) -> HTML w i
menu :: Node HTMLmenu w i
menu_ :: Array (HTML w i) -> HTML w i
menuitem :: Node HTMLmenuitem w i
menuitem_ :: Array (HTML w i) -> HTML w i
meta :: Leaf HTMLmeta w i
meter :: Node HTMLmeter w i
meter_ :: Array (HTML w i) -> HTML w i
nav :: Node HTMLnav w i
nav_ :: Array (HTML w i) -> HTML w i
noscript :: Node HTMLnoscript w i
noscript_ :: Array (HTML w i) -> HTML w i
object :: Node HTMLobject w i
object_ :: Array (HTML w i) -> HTML w i
ol :: Node HTMLol w i
ol_ :: Array (HTML w i) -> HTML w i
optgroup :: Node HTMLoptgroup w i
optgroup_ :: Array (HTML w i) -> HTML w i
option :: Node HTMLoption w i
option_ :: Array (HTML w i) -> HTML w i
output :: Node HTMLoutput w i
output_ :: Array (HTML w i) -> HTML w i
p :: Node HTMLp w i
p_ :: Array (HTML w i) -> HTML w i
param :: Leaf HTMLparam w i
pre :: Node HTMLpre w i
pre_ :: Array (HTML w i) -> HTML w i
progress :: Node HTMLprogress w i
progress_ :: Array (HTML w i) -> HTML w i
q :: Node HTMLq w i
q_ :: Array (HTML w i) -> HTML w i
rp :: Node HTMLrp w i
rp_ :: Array (HTML w i) -> HTML w i
rt :: Node HTMLrt w i
rt_ :: Array (HTML w i) -> HTML w i
ruby :: Node HTMLruby w i
ruby_ :: Array (HTML w i) -> HTML w i
samp :: Node HTMLsamp w i
samp_ :: Array (HTML w i) -> HTML w i
script :: Node HTMLscript w i
script_ :: Array (HTML w i) -> HTML w i
section :: Node HTMLsection w i
section_ :: Array (HTML w i) -> HTML w i
select :: Node HTMLselect w i
select_ :: Array (HTML w i) -> HTML w i
small :: Node HTMLsmall w i
small_ :: Array (HTML w i) -> HTML w i
source :: Leaf HTMLsource w i
span :: Node HTMLspan w i
span_ :: Array (HTML w i) -> HTML w i
strong :: Node HTMLstrong w i
strong_ :: Array (HTML w i) -> HTML w i
style :: Node HTMLstyle w i
style_ :: Array (HTML w i) -> HTML w i
sub :: Node HTMLsub w i
sub_ :: Array (HTML w i) -> HTML w i
summary :: Node HTMLsummary w i
summary_ :: Array (HTML w i) -> HTML w i
sup :: Node HTMLsup w i
sup_ :: Array (HTML w i) -> HTML w i
table :: Node HTMLtable w i
table_ :: Array (HTML w i) -> HTML w i
tbody :: Node HTMLtbody w i
tbody_ :: Array (HTML w i) -> HTML w i
td :: Node HTMLtd w i
td_ :: Array (HTML w i) -> HTML w i
textarea :: Leaf HTMLtextarea w i
tfoot :: Node HTMLtfoot w i
tfoot_ :: Array (HTML w i) -> HTML w i
th :: Node HTMLth w i
th_ :: Array (HTML w i) -> HTML w i
thead :: Node HTMLthead w i
thead_ :: Array (HTML w i) -> HTML w i
time :: Node HTMLtime w i
time_ :: Array (HTML w i) -> HTML w i
title :: Node HTMLtitle w i
title_ :: Array (HTML w i) -> HTML w i
tr :: Node HTMLtr w i
tr_ :: Array (HTML w i) -> HTML w i
track :: Leaf HTMLtrack w i
u :: Node HTMLu w i
u_ :: Array (HTML w i) -> HTML w i
ul :: Node HTMLul w i
ul_ :: Array (HTML w i) -> HTML w i
var :: Node HTMLvar w i
var_ :: Array (HTML w i) -> HTML w i
video :: Node HTMLvideo w i
video_ :: Array (HTML w i) -> HTML w i
wbr :: Leaf HTMLwbr w i

Documentation

type Node (r :: Row Type) w msg = [IProp r msg] -> [HTML w msg] -> HTML w msg Source #

type Leaf (r :: Row Type) w msg = [IProp r msg] -> HTML w msg Source #

type Array a = [a] Source #

element :: forall (r :: Row Type) w i. ElemName -> Array (IProp r i) -> Array (HTML w i) -> HTML w i Source #

Creates an HTML element that expects indexed properties.

elementNS :: forall (r :: Row Type) w i. Namespace -> ElemName -> Array (IProp r i) -> Array (HTML w i) -> HTML w i Source #

Creates a Namespaced HTML element that expects indexed properties.

keyed :: forall (r :: Row Type) w i. ElemName -> Array (IProp r i) -> Array (Text, HTML w i) -> HTML w i Source #

Creates an HTML element that expects indexed properties, with keyed | children.

keyedNS :: forall (r :: Row Type) w i. Namespace -> ElemName -> Array (IProp r i) -> Array (Text, HTML w i) -> HTML w i Source #

Creates a Namespaced HTML element that expects indexed properties, with | keyed children.

withKeys :: forall (r :: Row Type) w i. (Array (IProp r i) -> Array (HTML w i) -> HTML w i) -> Array (IProp r i) -> Array (Text, HTML w i) -> HTML w i Source #

withKeys_ :: (Array (HTML w i) -> HTML w i) -> Array (Text, HTML w i) -> HTML w i Source #

a :: Node HTMLa w i Source #

a_ :: Array (HTML w i) -> HTML w i Source #

abbr :: Node HTMLabbr w i Source #

abbr_ :: Array (HTML w i) -> HTML w i Source #

address :: Node HTMLaddress w i Source #

address_ :: Array (HTML w i) -> HTML w i Source #

area :: Leaf HTMLarea w i Source #

article :: Node HTMLarticle w i Source #

article_ :: Array (HTML w i) -> HTML w i Source #

aside :: Node HTMLaside w i Source #

aside_ :: Array (HTML w i) -> HTML w i Source #

audio :: Node HTMLaudio w i Source #

audio_ :: Array (HTML w i) -> HTML w i Source #

b :: Node HTMLb w i Source #

b_ :: Array (HTML w i) -> HTML w i Source #

base :: Leaf HTMLbase w i Source #

bdi :: Node HTMLbdi w i Source #

bdi_ :: Array (HTML w i) -> HTML w i Source #

bdo :: Node HTMLbdo w i Source #

bdo_ :: Array (HTML w i) -> HTML w i Source #

blockquote :: Node HTMLblockquote w i Source #

blockquote_ :: Array (HTML w i) -> HTML w i Source #

body :: Node HTMLbody w i Source #

body_ :: Array (HTML w i) -> HTML w i Source #

br :: Leaf HTMLbr w i Source #

br_ :: HTML w i Source #

button :: Node HTMLbutton w i Source #

button_ :: Array (HTML w i) -> HTML w i Source #

canvas :: Leaf HTMLcanvas w i Source #

caption :: Node HTMLcaption w i Source #

caption_ :: Array (HTML w i) -> HTML w i Source #

cite :: Node HTMLcite w i Source #

cite_ :: Array (HTML w i) -> HTML w i Source #

code :: Node HTMLcode w i Source #

code_ :: Array (HTML w i) -> HTML w i Source #

col :: Leaf HTMLcol w i Source #

colgroup :: Node HTMLcolgroup w i Source #

colgroup_ :: Array (HTML w i) -> HTML w i Source #

command :: Leaf HTMLcommand w i Source #

datalist :: Node HTMLdatalist w i Source #

datalist_ :: Array (HTML w i) -> HTML w i Source #

dd :: Node HTMLdd w i Source #

dd_ :: Array (HTML w i) -> HTML w i Source #

del :: Node HTMLdel w i Source #

del_ :: Array (HTML w i) -> HTML w i Source #

details :: Node HTMLdetails w i Source #

details_ :: Array (HTML w i) -> HTML w i Source #

dfn :: Node HTMLdfn w i Source #

dfn_ :: Array (HTML w i) -> HTML w i Source #

dialog :: Node HTMLdialog w i Source #

dialog_ :: Array (HTML w i) -> HTML w i Source #

div :: Node HTMLdiv w i Source #

div_ :: Array (HTML w i) -> HTML w i Source #

dl :: Node HTMLdl w i Source #

dl_ :: Array (HTML w i) -> HTML w i Source #

dt :: Node HTMLdt w i Source #

dt_ :: Array (HTML w i) -> HTML w i Source #

em :: Node HTMLem w i Source #

em_ :: Array (HTML w i) -> HTML w i Source #

embed :: Node HTMLembed w i Source #

embed_ :: Array (HTML w i) -> HTML w i Source #

fieldset :: Node HTMLfieldset w i Source #

fieldset_ :: Array (HTML w i) -> HTML w i Source #

figcaption :: Node HTMLfigcaption w i Source #

figcaption_ :: Array (HTML w i) -> HTML w i Source #

figure :: Node HTMLfigure w i Source #

figure_ :: Array (HTML w i) -> HTML w i Source #

footer :: Node HTMLfooter w i Source #

footer_ :: Array (HTML w i) -> HTML w i Source #

form :: Node HTMLform w i Source #

form_ :: Array (HTML w i) -> HTML w i Source #

h1 :: Node HTMLh1 w i Source #

h1_ :: Array (HTML w i) -> HTML w i Source #

h2 :: Node HTMLh2 w i Source #

h2_ :: Array (HTML w i) -> HTML w i Source #

h3 :: Node HTMLh3 w i Source #

h3_ :: Array (HTML w i) -> HTML w i Source #

h4 :: Node HTMLh4 w i Source #

h4_ :: Array (HTML w i) -> HTML w i Source #

h5 :: Node HTMLh5 w i Source #

h5_ :: Array (HTML w i) -> HTML w i Source #

h6 :: Node HTMLh6 w i Source #

h6_ :: Array (HTML w i) -> HTML w i Source #

head :: Node HTMLhead w i Source #

head_ :: Array (HTML w i) -> HTML w i Source #

header :: Node HTMLheader w i Source #

header_ :: Array (HTML w i) -> HTML w i Source #

hr :: Leaf HTMLhr w i Source #

hr_ :: HTML w i Source #

html :: Node HTMLhtml w i Source #

html_ :: Array (HTML w i) -> HTML w i Source #

i :: Node HTMLi w i Source #

i_ :: Array (HTML w i) -> HTML w i Source #

iframe :: Leaf HTMLiframe w i Source #

img :: Leaf HTMLimg w i Source #

input :: Leaf HTMLinput w i Source #

ins :: Node HTMLins w i Source #

ins_ :: Array (HTML w i) -> HTML w i Source #

kbd :: Node HTMLkbd w i Source #

kbd_ :: Array (HTML w i) -> HTML w i Source #

label :: Node HTMLlabel w i Source #

label_ :: Array (HTML w i) -> HTML w i Source #

legend :: Node HTMLlegend w i Source #

legend_ :: Array (HTML w i) -> HTML w i Source #

li :: Node HTMLli w i Source #

li_ :: Array (HTML w i) -> HTML w i Source #

link :: Leaf HTMLlink w i Source #

main :: Node HTMLmain w i Source #

main_ :: Array (HTML w i) -> HTML w i Source #

map :: Node HTMLmap w i Source #

map_ :: Array (HTML w i) -> HTML w i Source #

mark :: Node HTMLmark w i Source #

mark_ :: Array (HTML w i) -> HTML w i Source #

menu :: Node HTMLmenu w i Source #

menu_ :: Array (HTML w i) -> HTML w i Source #

menuitem :: Node HTMLmenuitem w i Source #

menuitem_ :: Array (HTML w i) -> HTML w i Source #

meta :: Leaf HTMLmeta w i Source #

meter :: Node HTMLmeter w i Source #

meter_ :: Array (HTML w i) -> HTML w i Source #

nav :: Node HTMLnav w i Source #

nav_ :: Array (HTML w i) -> HTML w i Source #

noscript :: Node HTMLnoscript w i Source #

noscript_ :: Array (HTML w i) -> HTML w i Source #

object :: Node HTMLobject w i Source #

object_ :: Array (HTML w i) -> HTML w i Source #

ol :: Node HTMLol w i Source #

ol_ :: Array (HTML w i) -> HTML w i Source #

optgroup :: Node HTMLoptgroup w i Source #

optgroup_ :: Array (HTML w i) -> HTML w i Source #

option :: Node HTMLoption w i Source #

option_ :: Array (HTML w i) -> HTML w i Source #

output :: Node HTMLoutput w i Source #

output_ :: Array (HTML w i) -> HTML w i Source #

p :: Node HTMLp w i Source #

p_ :: Array (HTML w i) -> HTML w i Source #

param :: Leaf HTMLparam w i Source #

pre :: Node HTMLpre w i Source #

pre_ :: Array (HTML w i) -> HTML w i Source #

progress :: Node HTMLprogress w i Source #

progress_ :: Array (HTML w i) -> HTML w i Source #

q :: Node HTMLq w i Source #

q_ :: Array (HTML w i) -> HTML w i Source #

rp :: Node HTMLrp w i Source #

rp_ :: Array (HTML w i) -> HTML w i Source #

rt :: Node HTMLrt w i Source #

rt_ :: Array (HTML w i) -> HTML w i Source #

ruby :: Node HTMLruby w i Source #

ruby_ :: Array (HTML w i) -> HTML w i Source #

samp :: Node HTMLsamp w i Source #

samp_ :: Array (HTML w i) -> HTML w i Source #

script :: Node HTMLscript w i Source #

script_ :: Array (HTML w i) -> HTML w i Source #

section :: Node HTMLsection w i Source #

section_ :: Array (HTML w i) -> HTML w i Source #

select :: Node HTMLselect w i Source #

select_ :: Array (HTML w i) -> HTML w i Source #

small :: Node HTMLsmall w i Source #

small_ :: Array (HTML w i) -> HTML w i Source #

source :: Leaf HTMLsource w i Source #

span :: Node HTMLspan w i Source #

span_ :: Array (HTML w i) -> HTML w i Source #

strong :: Node HTMLstrong w i Source #

strong_ :: Array (HTML w i) -> HTML w i Source #

style :: Node HTMLstyle w i Source #

style_ :: Array (HTML w i) -> HTML w i Source #

sub :: Node HTMLsub w i Source #

sub_ :: Array (HTML w i) -> HTML w i Source #

summary :: Node HTMLsummary w i Source #

summary_ :: Array (HTML w i) -> HTML w i Source #

sup :: Node HTMLsup w i Source #

sup_ :: Array (HTML w i) -> HTML w i Source #

table :: Node HTMLtable w i Source #

table_ :: Array (HTML w i) -> HTML w i Source #

tbody :: Node HTMLtbody w i Source #

tbody_ :: Array (HTML w i) -> HTML w i Source #

td :: Node HTMLtd w i Source #

td_ :: Array (HTML w i) -> HTML w i Source #

textarea :: Leaf HTMLtextarea w i Source #

tfoot :: Node HTMLtfoot w i Source #

tfoot_ :: Array (HTML w i) -> HTML w i Source #

th :: Node HTMLth w i Source #

th_ :: Array (HTML w i) -> HTML w i Source #

thead :: Node HTMLthead w i Source #

thead_ :: Array (HTML w i) -> HTML w i Source #

time :: Node HTMLtime w i Source #

time_ :: Array (HTML w i) -> HTML w i Source #

title :: Node HTMLtitle w i Source #

title_ :: Array (HTML w i) -> HTML w i Source #

tr :: Node HTMLtr w i Source #

tr_ :: Array (HTML w i) -> HTML w i Source #

track :: Leaf HTMLtrack w i Source #

u :: Node HTMLu w i Source #

u_ :: Array (HTML w i) -> HTML w i Source #

ul :: Node HTMLul w i Source #

ul_ :: Array (HTML w i) -> HTML w i Source #

var :: Node HTMLvar w i Source #

var_ :: Array (HTML w i) -> HTML w i Source #

video :: Node HTMLvideo w i Source #

video_ :: Array (HTML w i) -> HTML w i Source #

wbr :: Leaf HTMLwbr w i Source #