Skip to content

Halogen-HTML.md

Latest commit

 

History

History
1509 lines (1005 loc) · 21.4 KB

Halogen-HTML.md

File metadata and controls

1509 lines (1005 loc) · 21.4 KB

Module Halogen.HTML

This module defines the HTML types required by the Halogen library, and provides smart constructors for HTML5 elements.

TagName

newtype TagName

A type-safe wrapper for a HTML tag name

tagName

tagName :: String -> TagName

Create a tag name

runTagName

runTagName :: TagName -> String

Unwrap a TagName to get the tag name as a String.

HTML

data HTML i
  = Text String
  | Element TagName (Array (Attr i)) (Array (HTML i))

An initial encoding of HTML nodes.

Instances
instance functorHTML :: Functor HTML

text

text :: forall i. String -> HTML i

element

element :: forall i. TagName -> Array (Attr i) -> Array (HTML i) -> HTML i

a

a :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

a_

a_ :: forall i. Array (HTML i) -> HTML i

abbr

abbr :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

abbr_

abbr_ :: forall i. Array (HTML i) -> HTML i

acronym

acronym :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

acronym_

acronym_ :: forall i. Array (HTML i) -> HTML i

address

address :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

address_

address_ :: forall i. Array (HTML i) -> HTML i

applet

applet :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

applet_

applet_ :: forall i. Array (HTML i) -> HTML i

area

area :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

area_

area_ :: forall i. Array (HTML i) -> HTML i

article

article :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

article_

article_ :: forall i. Array (HTML i) -> HTML i

aside

aside :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

aside_

aside_ :: forall i. Array (HTML i) -> HTML i

audio

audio :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

audio_

audio_ :: forall i. Array (HTML i) -> HTML i

b

b :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

b_

b_ :: forall i. Array (HTML i) -> HTML i

base

base :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

base_

base_ :: forall i. Array (HTML i) -> HTML i

basefont

basefont :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

basefont_

basefont_ :: forall i. Array (HTML i) -> HTML i

bdi

bdi :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

bdi_

bdi_ :: forall i. Array (HTML i) -> HTML i

bdo

bdo :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

bdo_

bdo_ :: forall i. Array (HTML i) -> HTML i

big

big :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

big_

big_ :: forall i. Array (HTML i) -> HTML i

blockquote

blockquote :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

blockquote_

blockquote_ :: forall i. Array (HTML i) -> HTML i

body

body :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

body_

body_ :: forall i. Array (HTML i) -> HTML i

br

br :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

br_

br_ :: forall i. Array (HTML i) -> HTML i

button

button :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

button_

button_ :: forall i. Array (HTML i) -> HTML i

canvas

canvas :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

canvas_

canvas_ :: forall i. Array (HTML i) -> HTML i

caption

caption :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

caption_

caption_ :: forall i. Array (HTML i) -> HTML i

center

center :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

center_

center_ :: forall i. Array (HTML i) -> HTML i

cite

cite :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

cite_

cite_ :: forall i. Array (HTML i) -> HTML i

code

code :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

code_

code_ :: forall i. Array (HTML i) -> HTML i

col

col :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

col_

col_ :: forall i. Array (HTML i) -> HTML i

colgroup

colgroup :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

colgroup_

colgroup_ :: forall i. Array (HTML i) -> HTML i

datalist

datalist :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

datalist_

datalist_ :: forall i. Array (HTML i) -> HTML i

dd

dd :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

dd_

dd_ :: forall i. Array (HTML i) -> HTML i

del

del :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

del_

del_ :: forall i. Array (HTML i) -> HTML i

details

details :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

details_

details_ :: forall i. Array (HTML i) -> HTML i

dfn

dfn :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

dfn_

dfn_ :: forall i. Array (HTML i) -> HTML i

dialog

dialog :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

dialog_

dialog_ :: forall i. Array (HTML i) -> HTML i

dir

dir :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

dir_

dir_ :: forall i. Array (HTML i) -> HTML i

div

div :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

div_

div_ :: forall i. Array (HTML i) -> HTML i

dl

dl :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

dl_

dl_ :: forall i. Array (HTML i) -> HTML i

dt

dt :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

dt_

dt_ :: forall i. Array (HTML i) -> HTML i

em

em :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

em_

em_ :: forall i. Array (HTML i) -> HTML i

embed

embed :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

embed_

embed_ :: forall i. Array (HTML i) -> HTML i

fieldset

fieldset :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

fieldset_

fieldset_ :: forall i. Array (HTML i) -> HTML i

figcaption

figcaption :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

figcaption_

figcaption_ :: forall i. Array (HTML i) -> HTML i

figure

figure :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

figure_

figure_ :: forall i. Array (HTML i) -> HTML i

font

font :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

font_

font_ :: forall i. Array (HTML i) -> HTML i

footer

footer :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

footer_

footer_ :: forall i. Array (HTML i) -> HTML i

form

form :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

form_

form_ :: forall i. Array (HTML i) -> HTML i

frame

frame :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

frame_

frame_ :: forall i. Array (HTML i) -> HTML i

frameset

frameset :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

frameset_

frameset_ :: forall i. Array (HTML i) -> HTML i

h1

h1 :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

h1_

h1_ :: forall i. Array (HTML i) -> HTML i

h2

h2 :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

h2_

h2_ :: forall i. Array (HTML i) -> HTML i

h3

h3 :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

h3_

h3_ :: forall i. Array (HTML i) -> HTML i

h4

h4 :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

h4_

h4_ :: forall i. Array (HTML i) -> HTML i

h5

h5 :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

h5_

h5_ :: forall i. Array (HTML i) -> HTML i

h6

h6 :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

h6_

h6_ :: forall i. Array (HTML i) -> HTML i

head

head :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

head_

head_ :: forall i. Array (HTML i) -> HTML i

header

header :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

header_

header_ :: forall i. Array (HTML i) -> HTML i

hr

hr :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

hr_

hr_ :: forall i. Array (HTML i) -> HTML i

html

html :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

html_

html_ :: forall i. Array (HTML i) -> HTML i

i

i :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

i_

i_ :: forall i. Array (HTML i) -> HTML i

iframe

iframe :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

iframe_

iframe_ :: forall i. Array (HTML i) -> HTML i

img

img :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

img_

img_ :: forall i. Array (HTML i) -> HTML i

input

input :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

input_

input_ :: forall i. Array (HTML i) -> HTML i

ins

ins :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

ins_

ins_ :: forall i. Array (HTML i) -> HTML i

kbd

kbd :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

kbd_

kbd_ :: forall i. Array (HTML i) -> HTML i

keygen

keygen :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

keygen_

keygen_ :: forall i. Array (HTML i) -> HTML i

label

label :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

label_

label_ :: forall i. Array (HTML i) -> HTML i

legend

legend :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

legend_

legend_ :: forall i. Array (HTML i) -> HTML i

li

li :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

li_

li_ :: forall i. Array (HTML i) -> HTML i

link

link :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

link_

link_ :: forall i. Array (HTML i) -> HTML i

main

main :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

main_

main_ :: forall i. Array (HTML i) -> HTML i

map

map :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

map_

map_ :: forall i. Array (HTML i) -> HTML i

mark

mark :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

mark_

mark_ :: forall i. Array (HTML i) -> HTML i

menu

menu :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

menu_

menu_ :: forall i. Array (HTML i) -> HTML i

menuitem

menuitem :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

menuitem_

menuitem_ :: forall i. Array (HTML i) -> HTML i

meta

meta :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

meta_

meta_ :: forall i. Array (HTML i) -> HTML i

meter

meter :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

meter_

meter_ :: forall i. Array (HTML i) -> HTML i

nav

nav :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

nav_

nav_ :: forall i. Array (HTML i) -> HTML i

noframes

noframes :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

noframes_

noframes_ :: forall i. Array (HTML i) -> HTML i

noscript

noscript :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

noscript_

noscript_ :: forall i. Array (HTML i) -> HTML i

object

object :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

object_

object_ :: forall i. Array (HTML i) -> HTML i

ol

ol :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

ol_

ol_ :: forall i. Array (HTML i) -> HTML i

optgroup

optgroup :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

optgroup_

optgroup_ :: forall i. Array (HTML i) -> HTML i

option

option :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

option_

option_ :: forall i. Array (HTML i) -> HTML i

output

output :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

output_

output_ :: forall i. Array (HTML i) -> HTML i

p

p :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

p_

p_ :: forall i. Array (HTML i) -> HTML i

param

param :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

param_

param_ :: forall i. Array (HTML i) -> HTML i

pre

pre :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

pre_

pre_ :: forall i. Array (HTML i) -> HTML i

progress

progress :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

progress_

progress_ :: forall i. Array (HTML i) -> HTML i

q

q :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

q_

q_ :: forall i. Array (HTML i) -> HTML i

rp

rp :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

rp_

rp_ :: forall i. Array (HTML i) -> HTML i

rt

rt :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

rt_

rt_ :: forall i. Array (HTML i) -> HTML i

ruby

ruby :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

ruby_

ruby_ :: forall i. Array (HTML i) -> HTML i

s

s :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

s_

s_ :: forall i. Array (HTML i) -> HTML i

samp

samp :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

samp_

samp_ :: forall i. Array (HTML i) -> HTML i

script

script :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

script_

script_ :: forall i. Array (HTML i) -> HTML i

section

section :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

section_

section_ :: forall i. Array (HTML i) -> HTML i

select

select :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

select_

select_ :: forall i. Array (HTML i) -> HTML i

small

small :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

small_

small_ :: forall i. Array (HTML i) -> HTML i

source

source :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

source_

source_ :: forall i. Array (HTML i) -> HTML i

span

span :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

span_

span_ :: forall i. Array (HTML i) -> HTML i

strike

strike :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

strike_

strike_ :: forall i. Array (HTML i) -> HTML i

strong

strong :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

strong_

strong_ :: forall i. Array (HTML i) -> HTML i

style

style :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

style_

style_ :: forall i. Array (HTML i) -> HTML i

sub

sub :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

sub_

sub_ :: forall i. Array (HTML i) -> HTML i

summary

summary :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

summary_

summary_ :: forall i. Array (HTML i) -> HTML i

sup

sup :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

sup_

sup_ :: forall i. Array (HTML i) -> HTML i

table

table :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

table_

table_ :: forall i. Array (HTML i) -> HTML i

tbody

tbody :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

tbody_

tbody_ :: forall i. Array (HTML i) -> HTML i

td

td :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

td_

td_ :: forall i. Array (HTML i) -> HTML i

textarea

textarea :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

textarea_

textarea_ :: forall i. Array (HTML i) -> HTML i

tfoot

tfoot :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

tfoot_

tfoot_ :: forall i. Array (HTML i) -> HTML i

th

th :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

th_

th_ :: forall i. Array (HTML i) -> HTML i

thead

thead :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

thead_

thead_ :: forall i. Array (HTML i) -> HTML i

time

time :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

time_

time_ :: forall i. Array (HTML i) -> HTML i

title

title :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

title_

title_ :: forall i. Array (HTML i) -> HTML i

tr

tr :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

tr_

tr_ :: forall i. Array (HTML i) -> HTML i

track

track :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

track_

track_ :: forall i. Array (HTML i) -> HTML i

tt

tt :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

tt_

tt_ :: forall i. Array (HTML i) -> HTML i

u

u :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

u_

u_ :: forall i. Array (HTML i) -> HTML i

ul

ul :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

ul_

ul_ :: forall i. Array (HTML i) -> HTML i

var

var :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

var_

var_ :: forall i. Array (HTML i) -> HTML i

video

video :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

video_

video_ :: forall i. Array (HTML i) -> HTML i

wbr

wbr :: forall i. Array (Attr i) -> Array (HTML i) -> HTML i

wbr_

wbr_ :: forall i. Array (HTML i) -> HTML i