Module

Halogen.HTML

Package
purescript-halogen
Repository
slamdata/purescript-halogen

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

#PlainHTML Source

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 Source

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

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

#slot Source

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' Source

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 Source

newtype PropName value

A type-safe wrapper for property names.

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

Constructors

Instances

#HTML Source

newtype HTML p i

Constructors

Instances

#ClassName Source

newtype ClassName

A wrapper for strings which are used as CSS classes.

Constructors

Instances

#AttrName Source

newtype AttrName

A type-safe wrapper for attribute names.

Constructors

Instances

#text Source

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

Constructs a text node HTML value.

#handler Source

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

Create an event handler.

Re-exports from Halogen.HTML.Elements

#Node Source

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

An HTML element that admits children.

#Leaf Source

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

An HTML element that does not admit children.

#withKeys_ Source

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

#withKeys Source

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 Source

wbr :: forall p i. Leaf HTMLwbr p i

#video_ Source

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

#video Source

video :: forall p i. Node HTMLvideo p i

#var_ Source

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

#var Source

var :: forall p i. Node HTMLvar p i

#ul_ Source

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

#ul Source

ul :: forall p i. Node HTMLul p i

#u_ Source

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

#u Source

u :: forall p i. Node HTMLu p i

#track Source

track :: forall p i. Leaf HTMLtrack p i

#tr_ Source

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

#tr Source

tr :: forall p i. Node HTMLtr p i

#title_ Source

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

#title Source

title :: forall p i. Node HTMLtitle p i

#time_ Source

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

#time Source

time :: forall p i. Node HTMLtime p i

#thead_ Source

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

#thead Source

thead :: forall p i. Node HTMLthead p i

#th_ Source

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

#th Source

th :: forall p i. Node HTMLth p i

#tfoot_ Source

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

#tfoot Source

tfoot :: forall p i. Node HTMLtfoot p i

#textarea Source

textarea :: forall p i. Leaf HTMLtextarea p i

#td_ Source

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

#td Source

td :: forall p i. Node HTMLtd p i

#tbody_ Source

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

#tbody Source

tbody :: forall p i. Node HTMLtbody p i

#table_ Source

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

#table Source

table :: forall p i. Node HTMLtable p i

#sup_ Source

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

#sup Source

sup :: forall p i. Node HTMLsup p i

#summary_ Source

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

#summary Source

summary :: forall p i. Node HTMLsummary p i

#sub_ Source

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

#sub Source

sub :: forall p i. Node HTMLsub p i

#style_ Source

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

#style Source

style :: forall p i. Node HTMLstyle p i

#strong_ Source

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

#strong Source

strong :: forall p i. Node HTMLstrong p i

#span_ Source

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

#span Source

span :: forall p i. Node HTMLspan p i

#source Source

source :: forall p i. Leaf HTMLsource p i

#small_ Source

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

#small Source

small :: forall p i. Node HTMLsmall p i

#select_ Source

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

#select Source

select :: forall p i. Node HTMLselect p i

#section_ Source

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

#section Source

section :: forall p i. Node HTMLsection p i

#script_ Source

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

#script Source

script :: forall p i. Node HTMLscript p i

#samp_ Source

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

#samp Source

samp :: forall p i. Node HTMLsamp p i

#ruby_ Source

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

#ruby Source

ruby :: forall p i. Node HTMLruby p i

#rt_ Source

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

#rt Source

rt :: forall p i. Node HTMLrt p i

#rp_ Source

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

#rp Source

rp :: forall p i. Node HTMLrp p i

#q_ Source

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

#q Source

q :: forall p i. Node HTMLq p i

#progress_ Source

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

#progress Source

progress :: forall p i. Node HTMLprogress p i

#pre_ Source

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

#pre Source

pre :: forall p i. Node HTMLpre p i

#param Source

param :: forall p i. Leaf HTMLparam p i

#p_ Source

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

#p Source

p :: forall p i. Node HTMLp p i

#output_ Source

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

#output Source

output :: forall p i. Node HTMLoutput p i

#option_ Source

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

#option Source

option :: forall p i. Node HTMLoption p i

#optgroup_ Source

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

#optgroup Source

optgroup :: forall p i. Node HTMLoptgroup p i

#ol_ Source

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

#ol Source

ol :: forall p i. Node HTMLol p i

#object_ Source

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

#object Source

object :: forall p i. Node HTMLobject p i

#noscript_ Source

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

#noscript Source

noscript :: forall p i. Node HTMLnoscript p i

#nav_ Source

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

#nav Source

nav :: forall p i. Node HTMLnav p i

#meter_ Source

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

#meter Source

meter :: forall p i. Node HTMLmeter p i

#meta Source

meta :: forall p i. Leaf HTMLmeta p i

#menuitem_ Source

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

#menuitem Source

menuitem :: forall p i. Node HTMLmenuitem p i

#menu_ Source

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

#menu Source

menu :: forall p i. Node HTMLmenu p i

#mark_ Source

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

#mark Source

mark :: forall p i. Node HTMLmark p i

#map_ Source

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

#map Source

map :: forall p i. Node HTMLmap p i

#main_ Source

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

#main Source

main :: forall p i. Node HTMLmain p i

#li_ Source

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

#li Source

li :: forall p i. Node HTMLli p i

#legend_ Source

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

#legend Source

legend :: forall p i. Node HTMLlegend p i

#label_ Source

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

#label Source

label :: forall p i. Node HTMLlabel p i

#keyedNS Source

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 Source

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_ Source

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

#kbd Source

kbd :: forall p i. Node HTMLkbd p i

#ins_ Source

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

#ins Source

ins :: forall p i. Node HTMLins p i

#input Source

input :: forall p i. Leaf HTMLinput p i

#img Source

img :: forall p i. Leaf HTMLimg p i

#iframe Source

iframe :: forall p i. Leaf HTMLiframe p i

#i_ Source

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

#i Source

i :: forall p i. Node HTMLi p i

#html_ Source

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

#html Source

html :: forall p i. Node HTMLhtml p i

#hr_ Source

hr_ :: forall p i. HTML p i

#hr Source

hr :: forall p i. Leaf HTMLhr p i

#header_ Source

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

#header Source

header :: forall p i. Node HTMLheader p i

#head_ Source

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

#head Source

head :: forall p i. Node HTMLhead p i

#h6_ Source

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

#h6 Source

h6 :: forall p i. Node HTMLh6 p i

#h5_ Source

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

#h5 Source

h5 :: forall p i. Node HTMLh5 p i

#h4_ Source

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

#h4 Source

h4 :: forall p i. Node HTMLh4 p i

#h3_ Source

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

#h3 Source

h3 :: forall p i. Node HTMLh3 p i

#h2_ Source

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

#h2 Source

h2 :: forall p i. Node HTMLh2 p i

#h1_ Source

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

#h1 Source

h1 :: forall p i. Node HTMLh1 p i

#form_ Source

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

#form Source

form :: forall p i. Node HTMLform p i

#footer_ Source

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

#footer Source

footer :: forall p i. Node HTMLfooter p i

#figure_ Source

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

#figure Source

figure :: forall p i. Node HTMLfigure p i

#figcaption_ Source

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

#figcaption Source

figcaption :: forall p i. Node HTMLfigcaption p i

#fieldset_ Source

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

#fieldset Source

fieldset :: forall p i. Node HTMLfieldset p i

#embed_ Source

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

#embed Source

embed :: forall p i. Node HTMLembed p i

#em_ Source

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

#em Source

em :: forall p i. Node HTMLem p i

#elementNS Source

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 Source

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_ Source

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

#dt Source

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

#dl_ Source

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

#dl Source

dl :: forall p i. Node HTMLdl p i

#div_ Source

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

#div Source

div :: forall p i. Node HTMLdiv p i

#dialog_ Source

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

#dialog Source

dialog :: forall p i. Node HTMLdialog p i

#dfn_ Source

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

#dfn Source

dfn :: forall p i. Node HTMLdfn p i

#details_ Source

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

#details Source

details :: forall p i. Node HTMLdetails p i

#del_ Source

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

#del Source

del :: forall p i. Node HTMLdel p i

#dd_ Source

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

#dd Source

dd :: forall p i. Node HTMLdd p i

#datalist_ Source

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

#datalist Source

datalist :: forall p i. Node HTMLdatalist p i

#command Source

command :: forall p i. Leaf HTMLcommand p i

#colgroup_ Source

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

#colgroup Source

colgroup :: forall p i. Node HTMLcolgroup p i

#col Source

col :: forall p i. Leaf HTMLcol p i

#code_ Source

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

#code Source

code :: forall p i. Node HTMLcode p i

#cite_ Source

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

#cite Source

cite :: forall p i. Node HTMLcite p i

#caption_ Source

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

#caption Source

caption :: forall p i. Node HTMLcaption p i

#canvas Source

canvas :: forall p i. Leaf HTMLcanvas p i

#button_ Source

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

#button Source

button :: forall p i. Node HTMLbutton p i

#br_ Source

br_ :: forall p i. HTML p i

#br Source

br :: forall p i. Leaf HTMLbr p i

#body_ Source

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

#body Source

body :: forall p i. Node HTMLbody p i

#blockquote_ Source

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

#blockquote Source

blockquote :: forall p i. Node HTMLblockquote p i

#bdo_ Source

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

#bdo Source

bdo :: forall p i. Node HTMLbdo p i

#bdi_ Source

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

#bdi Source

bdi :: forall p i. Node HTMLbdi p i

#base Source

base :: forall p i. Leaf HTMLbase p i

#b_ Source

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

#b Source

b :: forall p i. Node HTMLb p i

#audio_ Source

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

#audio Source

audio :: forall p i. Node HTMLaudio p i

#aside_ Source

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

#aside Source

aside :: forall p i. Node HTMLaside p i

#article_ Source

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

#article Source

article :: forall p i. Node HTMLarticle p i

#area Source

area :: forall p i. Leaf HTMLarea p i

#address_ Source

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

#address Source

address :: forall p i. Node HTMLaddress p i

#abbr_ Source

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

#abbr Source

abbr :: forall p i. Node HTMLabbr p i

#a_ Source

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

#a Source

a :: forall p i. Node HTMLa p i

Re-exports from Halogen.HTML.Properties

#IProp Source

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

#prop Source

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

Creates an indexed HTML property.

#attrNS Source

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

Creates an indexed HTML attribute.

#attr Source

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

Creates an indexed HTML attribute.