Module

Halogen.HTML

This module re-exports the types for the HTML DSL, and values for all supported HTML elements.

#PlainHTML

type PlainHTML = HTML Void Void

A type useful for a chunk of HTML with no slot-embedding or query-raising.

Often a polymorphic usage of HTML is good enough for this, but sometimes it's useful to have a type like this (and accompanying coercion) when doing things like creating components that accept a chunk of HTML as part of their configuration.

#fromPlainHTML

fromPlainHTML :: forall p i. PlainHTML -> HTML p i

Relaxes the type of PlainHTML to make it compatible with all HTML.

#slot

slot :: forall f m p i o g. p -> Component HTML g i o m -> i -> (o -> Maybe (f Unit)) -> ParentHTML f g p m

Defines a slot for a child component. Takes:

the slot "address" value
the component for the slot
the input value to pass to the component
a function mapping outputs from the component to a query in the parent

#slot'

slot' :: forall f g g' p p' i o m. ChildPath g g' p p' -> p -> Component HTML g i o m -> i -> (o -> Maybe (f Unit)) -> ParentHTML f g' p' m

Defines a slot for a child component when a parent has multiple types of child component. Takes:

the ChildPath for this particular child component type
the slot "address" value
the component for the slot
the input value to pass to the component
a function mapping outputs from the component to a query in the parent

Re-exports from Halogen.HTML.Core

#PropName

newtype PropName value

A type-safe wrapper for property names.

The phantom type value describes the type of value which this property requires.

Constructors

PropName String

Instances

Newtype (PropName value) _
Eq (PropName value)
Ord (PropName value)

#Namespace

newtype Namespace

Constructors

Namespace String

Instances

#HTML

newtype HTML p i

Constructors

HTML (VDom (Array (Prop (InputF Unit i))) p)

Instances

#ElemName

newtype ElemName

Constructors

ElemName String

Instances

#ClassName

newtype ClassName

A wrapper for strings which are used as CSS classes.

Constructors

ClassName String

Instances

#AttrName

newtype AttrName

A type-safe wrapper for attribute names.

Constructors

AttrName String

Instances

#IsProp

class IsProp a

Instances

#text

text :: forall p i. String -> HTML p i

Constructs a text node HTML value.

#handler

handler :: forall i. EventType -> (Event -> Maybe i) -> Prop i

Create an event handler.

Re-exports from Halogen.HTML.Elements

#Node

type Node r p i = Array (IProp r i) -> Array (HTML p i) -> HTML p i

An HTML element that admits children.

#Leaf

type Leaf r p i = Array (IProp r i) -> HTML p i

An HTML element that does not admit children.

#withKeys_

withKeys_ :: forall p i. (Array (HTML p i) -> HTML p i) -> Array (Tuple String (HTML p i)) -> HTML p i

#withKeys

withKeys :: forall r p i. (Array (IProp r i) -> Array (HTML p i) -> HTML p i) -> Array (IProp r i) -> Array (Tuple String (HTML p i)) -> HTML p i

#wbr

wbr :: forall p i. Leaf HTMLwbr p i

#video_

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

#video

video :: forall p i. Node HTMLvideo p i

#var_

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

#var

var :: forall p i. Node HTMLvar p i

#ul_

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

#ul

ul :: forall p i. Node HTMLul p i

#u_

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

#u

u :: forall p i. Node HTMLu p i

#track

track :: forall p i. Leaf HTMLtrack p i

#tr_

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

#tr

tr :: forall p i. Node HTMLtr p i

#title_

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

#title

title :: forall p i. Node HTMLtitle p i

#time_

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

#time

time :: forall p i. Node HTMLtime p i

#thead_

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

#thead

thead :: forall p i. Node HTMLthead p i

#th_

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

#th

th :: forall p i. Node HTMLth p i

#tfoot_

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

#tfoot

tfoot :: forall p i. Node HTMLtfoot p i

#textarea

textarea :: forall p i. Leaf HTMLtextarea p i

#td_

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

#td

td :: forall p i. Node HTMLtd p i

#tbody_

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

#tbody

tbody :: forall p i. Node HTMLtbody p i

#table_

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

#table

table :: forall p i. Node HTMLtable p i

#sup_

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

#sup

sup :: forall p i. Node HTMLsup p i

#summary_

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

#summary

summary :: forall p i. Node HTMLsummary p i

#sub_

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

#sub

sub :: forall p i. Node HTMLsub p i

#style_

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

#style

style :: forall p i. Node HTMLstyle p i

#strong_

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

#strong

strong :: forall p i. Node HTMLstrong p i

#span_

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

#span

span :: forall p i. Node HTMLspan p i

#source

source :: forall p i. Leaf HTMLsource p i

#small_

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

#small

small :: forall p i. Node HTMLsmall p i

#select_

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

#select

select :: forall p i. Node HTMLselect p i

#section_

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

#section

section :: forall p i. Node HTMLsection p i

#script_

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

#script

script :: forall p i. Node HTMLscript p i

#samp_

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

#samp

samp :: forall p i. Node HTMLsamp p i

#ruby_

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

#ruby

ruby :: forall p i. Node HTMLruby p i

#rt_

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

#rt

rt :: forall p i. Node HTMLrt p i

#rp_

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

#rp

rp :: forall p i. Node HTMLrp p i

#q_

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

#q

q :: forall p i. Node HTMLq p i

#progress_

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

#progress

progress :: forall p i. Node HTMLprogress p i

#pre_

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

#pre

pre :: forall p i. Node HTMLpre p i

#param

param :: forall p i. Leaf HTMLparam p i

#p_

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

#p

p :: forall p i. Node HTMLp p i

#output_

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

#output

output :: forall p i. Node HTMLoutput p i

#option_

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

#option

option :: forall p i. Node HTMLoption p i

#optgroup_

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

#optgroup

optgroup :: forall p i. Node HTMLoptgroup p i

#ol_

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

#ol

ol :: forall p i. Node HTMLol p i

#object_

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

#object

object :: forall p i. Node HTMLobject p i

#noscript_

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

#noscript

noscript :: forall p i. Node HTMLnoscript p i

#nav_

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

#nav

nav :: forall p i. Node HTMLnav p i

#meter_

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

#meter

meter :: forall p i. Node HTMLmeter p i

#meta

meta :: forall p i. Leaf HTMLmeta p i

#menuitem_

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

#menuitem

menuitem :: forall p i. Node HTMLmenuitem p i

#menu_

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

#mark_

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

#mark

mark :: forall p i. Node HTMLmark p i

#map_

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

#map

map :: forall p i. Node HTMLmap p i

#main_

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

#main

main :: forall p i. Node HTMLmain p i

#link

link :: forall p i. Leaf HTMLlink p i

#li_

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

#li

li :: forall p i. Node HTMLli p i

#legend_

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

#legend

legend :: forall p i. Node HTMLlegend p i

#label_

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

#label

label :: forall p i. Node HTMLlabel p i

#keyedNS

keyedNS :: forall r p i. Namespace -> ElemName -> Array (IProp r i) -> Array (Tuple String (HTML p i)) -> HTML p i

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

#keyed

keyed :: forall r p i. ElemName -> Array (IProp r i) -> Array (Tuple String (HTML p i)) -> HTML p i

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

#kbd_

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

#kbd

kbd :: forall p i. Node HTMLkbd p i

#ins_

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

#ins

ins :: forall p i. Node HTMLins p i

#input

input :: forall p i. Leaf HTMLinput p i

#img

img :: forall p i. Leaf HTMLimg p i

#iframe

iframe :: forall p i. Leaf HTMLiframe p i

#i_

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

#i

i :: forall p i. Node HTMLi p i

#html_

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

#html

html :: forall p i. Node HTMLhtml p i

#hr_

hr_ :: forall p i. HTML p i

#hr

hr :: forall p i. Leaf HTMLhr p i

#header_

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

#head_

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

#head

head :: forall p i. Node HTMLhead p i

#h6_

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

#h6

h6 :: forall p i. Node HTMLh6 p i

#h5_

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

#h5

h5 :: forall p i. Node HTMLh5 p i

#h4_

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

#h4

h4 :: forall p i. Node HTMLh4 p i

#h3_

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

#h3

h3 :: forall p i. Node HTMLh3 p i

#h2_

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

#h2

h2 :: forall p i. Node HTMLh2 p i

#h1_

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

#h1

h1 :: forall p i. Node HTMLh1 p i

#form_

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

#form

form :: forall p i. Node HTMLform p i

#footer_

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

#figure_

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

#figure

figure :: forall p i. Node HTMLfigure p i

#figcaption_

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

#figcaption

figcaption :: forall p i. Node HTMLfigcaption p i

#fieldset_

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

#fieldset

fieldset :: forall p i. Node HTMLfieldset p i

#embed_

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

#embed

embed :: forall p i. Node HTMLembed p i

#em_

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

#em

em :: forall p i. Node HTMLem p i

#elementNS

elementNS :: forall r p i. Namespace -> ElemName -> Array (IProp r i) -> Array (HTML p i) -> HTML p i

Creates a Namespaced HTML element that expects indexed properties.

#element

element :: forall r p i. ElemName -> Array (IProp r i) -> Array (HTML p i) -> HTML p i

Creates an HTML element that expects indexed properties.

#dt_

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

#dt

dt :: forall p i. Node (HTMLdt) p i

#dl_

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

#dl

dl :: forall p i. Node HTMLdl p i

#div_

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

#div

div :: forall p i. Node HTMLdiv p i

#dialog_

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

#dialog

dialog :: forall p i. Node HTMLdialog p i

#dfn_

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

#dfn

dfn :: forall p i. Node HTMLdfn p i

#details_

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

#details

details :: forall p i. Node HTMLdetails p i

#del_

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

#del

del :: forall p i. Node HTMLdel p i

#dd_

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

#dd

dd :: forall p i. Node HTMLdd p i

#datalist_

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

#datalist

datalist :: forall p i. Node HTMLdatalist p i

#command

command :: forall p i. Leaf HTMLcommand p i

#colgroup_

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

#colgroup

colgroup :: forall p i. Node HTMLcolgroup p i

#col

col :: forall p i. Leaf HTMLcol p i

#code_

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

#code

code :: forall p i. Node HTMLcode p i

#cite_

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

#cite

cite :: forall p i. Node HTMLcite p i

#caption_

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

#caption

caption :: forall p i. Node HTMLcaption p i

#canvas

canvas :: forall p i. Leaf HTMLcanvas p i

#button_

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

#button

button :: forall p i. Node HTMLbutton p i

#br_

br_ :: forall p i. HTML p i

#br

br :: forall p i. Leaf HTMLbr p i

#body_

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

#body

body :: forall p i. Node HTMLbody p i

#blockquote_

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

#blockquote

blockquote :: forall p i. Node HTMLblockquote p i

#bdo_

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

#bdo

bdo :: forall p i. Node HTMLbdo p i

#bdi_

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

#bdi

bdi :: forall p i. Node HTMLbdi p i

#base

base :: forall p i. Leaf HTMLbase p i

#b_

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

#b

b :: forall p i. Node HTMLb p i

#audio_

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

#audio

audio :: forall p i. Node HTMLaudio p i

#aside_

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

#aside

aside :: forall p i. Node HTMLaside p i

#article_

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

#article

article :: forall p i. Node HTMLarticle p i

#area

area :: forall p i. Leaf HTMLarea p i

#address_

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

#address

address :: forall p i. Node HTMLaddress p i

#abbr_

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

#abbr

abbr :: forall p i. Node HTMLabbr p i

#a_

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

#a

a :: forall p i. Node HTMLa p i

Re-exports from Halogen.HTML.Properties

#IProp

newtype IProp (r :: # Type) i

The phantom row r can be thought of as a context which is synthesized in the course of constructing a refined HTML expression.

Instances

Newtype (IProp r i) _
Functor (IProp r)

#prop

prop :: forall value r i. IsProp value => PropName value -> value -> IProp r i

Creates an indexed HTML property.

#attrNS

attrNS :: forall r i. Namespace -> AttrName -> String -> IProp r i

Creates an indexed HTML attribute.

#attr

attr :: forall r i. AttrName -> String -> IProp r i

Creates an indexed HTML attribute.