Elements.purs

module Halogen.HTML.Elements
  ( Node
  , Leaf
  , element
  , elementNS
  , keyed
  , keyedNS
  , withKeys, withKeys_
  , a, a_
  , abbr, abbr_
  , address, address_
  , area
  , article, article_
  , aside, aside_
  , audio, audio_
  , b, b_
  , base
  , bdi, bdi_
  , bdo, bdo_
  , blockquote, blockquote_
  , body, body_
  , br, br_
  , button, button_
  , canvas
  , caption, caption_
  , cite, cite_
  , code, code_
  , col
  , colgroup, colgroup_
  , command
  , datalist, datalist_
  , dd, dd_
  , del, del_
  , details, details_
  , dfn, dfn_
  , dialog, dialog_
  , div, div_
  , dl, dl_
  , dt, dt_
  , em, em_
  , embed, embed_
  , fieldset, fieldset_
  , figcaption, figcaption_
  , figure, figure_
  , footer, footer_
  , form, form_
  , h1, h1_
  , h2, h2_
  , h3, h3_
  , h4, h4_
  , h5, h5_
  , h6, h6_
  , head, head_
  , header, header_
  , hr, hr_
  , html, html_
  , i, i_
  , iframe
  , img
  , input
  , ins, ins_
  , kbd, kbd_
  , label, label_
  , legend, legend_
  , li, li_
  , link
  , main, main_
  , map, map_
  , mark, mark_
  , menu, menu_
  , menuitem, menuitem_
  , meta
  , meter, meter_
  , nav, nav_
  , noscript, noscript_
  , object, object_
  , ol, ol_
  , optgroup, optgroup_
  , option, option_
  , output, output_
  , p, p_
  , param
  , pre, pre_
  , progress, progress_
  , q, q_
  , rp, rp_
  , rt, rt_
  , ruby, ruby_
  , samp, samp_
  , script, script_
  , section, section_
  , select, select_
  , small, small_
  , source
  , span, span_
  , strong, strong_
  , style, style_
  , sub, sub_
  , summary, summary_
  , sup, sup_
  , table, table_
  , tbody, tbody_
  , td, td_
  , textarea
  , tfoot, tfoot_
  , th, th_
  , thead, thead_
  , time, time_
  , title, title_
  , tr, tr_
  , track
  , u, u_
  , ul, ul_
  , var, var_
  , video, video_
  , wbr
  ) where

import Prelude (Unit, (#), (>>>), pure)
import Data.Maybe (Maybe(Nothing))
import Data.Tuple (Tuple)

import DOM.HTML.Indexed as I

import Halogen.HTML.Core (ElemName(..), HTML(..), Namespace, Prop)
import Halogen.HTML.Core as Core
import Halogen.HTML.Properties (IProp)
import Halogen.Query.InputF (InputF)
import Halogen.VDom as VDom

import Unsafe.Coerce (unsafeCoerce)

-- | An HTML element that admits children.
type Node r p i
   = Array (IProp r i)
  -> Array (HTML p i)
  -> HTML p i

-- | An HTML element that does not admit children.
type Leaf r p i
   = Array (IProp r i)
  -> HTML p i

-- | Creates an HTML element that expects indexed properties.
element :: forall r p i. ElemName -> Array (IProp r i) -> Array (HTML p i) -> HTML p i
element =
  Core.element Nothing #
    (unsafeCoerce
      :: (ElemName -> Array (Prop i) -> Array (HTML p i) -> HTML p i) -> ElemName -> Array (IProp r i)
      -> Array (HTML p i)
      -> HTML p i)

-- | Creates a Namespaced HTML element that expects indexed properties.
elementNS :: forall r p i. Namespace -> ElemName -> Array (IProp r i) -> Array (HTML p i) -> HTML p i
elementNS =
  pure >>> Core.element >>>
    (unsafeCoerce
      :: (ElemName -> Array (Prop i) -> Array (HTML p i) -> HTML p i)
      -> ElemName
      -> Array (IProp r i)
      -> Array (HTML p i)
      -> HTML p i)

-- | Creates an HTML element that expects indexed properties, with keyed
-- | children.
keyed :: forall r p i. ElemName -> Array (IProp r i) -> Array (Tuple String (HTML p i)) -> HTML p i
keyed =
  Core.keyed Nothing #
    (unsafeCoerce
      :: (ElemName -> Array (Prop i) -> Array (Tuple String (HTML p i)) -> HTML p i)
      -> 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.
keyedNS :: forall r p i. Namespace -> ElemName -> Array (IProp r i) -> Array (Tuple String (HTML p i)) -> HTML p i
keyedNS =
  pure >>> Core.keyed >>>
    (unsafeCoerce
      :: (ElemName -> Array (Prop i) -> Array (Tuple String (HTML p i)) -> HTML p i)
      -> ElemName
      -> Array (IProp r i)
      -> Array (Tuple String (HTML p i))
      -> HTML p i)

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
withKeys ctor props children =
  case ctor props [] of
    HTML (VDom.Elem spec _) -> HTML (VDom.Keyed spec (coe children))
    h -> h
  where
  coe :: Array (Tuple String (HTML p i)) -> Array (Tuple String (VDom.VDom (Array (Prop (InputF Unit i))) p))
  coe = unsafeCoerce

withKeys_ :: forall p i. (Array (HTML p i) -> HTML p i) -> Array (Tuple String (HTML p i)) -> HTML p i
withKeys_ ctor children =
  case ctor [] of
    HTML (VDom.Elem spec _) -> HTML (VDom.Keyed spec (coe children))
    h -> h
  where
  coe :: Array (Tuple String (HTML p i)) -> Array (Tuple String (VDom.VDom (Array (Prop (InputF Unit i))) p))
  coe = unsafeCoerce

a :: forall p i. Node I.HTMLa p i
a = element (ElemName "a")

a_ :: forall p i. Array (HTML p i) -> HTML p i
a_ = a []

abbr :: forall p i. Node I.HTMLabbr p i
abbr = element (ElemName "abbr")

abbr_ :: forall p i. Array (HTML p i) -> HTML p i
abbr_ = abbr []

address :: forall p i. Node I.HTMLaddress p i
address = element (ElemName "address")

address_ :: forall p i. Array (HTML p i) -> HTML p i
address_ = address []

area :: forall p i. Leaf I.HTMLarea p i
area props = element (ElemName "area") props []

article :: forall p i. Node I.HTMLarticle p i
article = element (ElemName "article")

article_ :: forall p i. Array (HTML p i) -> HTML p i
article_ = article []

aside :: forall p i. Node I.HTMLaside p i
aside = element (ElemName "aside")

aside_ :: forall p i. Array (HTML p i) -> HTML p i
aside_ = aside []

audio :: forall p i. Node I.HTMLaudio p i
audio = element (ElemName "audio")

audio_ :: forall p i. Array (HTML p i) -> HTML p i
audio_ = audio []

b :: forall p i. Node I.HTMLb p i
b = element (ElemName "b")

b_ :: forall p i. Array (HTML p i) -> HTML p i
b_ = b []

base :: forall p i. Leaf I.HTMLbase p i
base props = element (ElemName "base") props []

bdi :: forall p i. Node I.HTMLbdi p i
bdi = element (ElemName "bdi")

bdi_ :: forall p i. Array (HTML p i) -> HTML p i
bdi_ = bdi []

bdo :: forall p i. Node I.HTMLbdo p i
bdo = element (ElemName "bdo")

bdo_ :: forall p i. Array (HTML p i) -> HTML p i
bdo_ = bdo []

blockquote :: forall p i. Node I.HTMLblockquote p i
blockquote = element (ElemName "blockquote")

blockquote_ :: forall p i. Array (HTML p i) -> HTML p i
blockquote_ = blockquote []

body :: forall p i. Node I.HTMLbody p i
body = element (ElemName "body")

body_ :: forall p i. Array (HTML p i) -> HTML p i
body_ = body []

br :: forall p i. Leaf I.HTMLbr p i
br props = element (ElemName "br") props []

br_ :: forall p i. HTML p i
br_ = br []

button :: forall p i. Node I.HTMLbutton p i
button = element (ElemName "button")

button_ :: forall p i. Array (HTML p i) -> HTML p i
button_ = button []

canvas :: forall p i. Leaf I.HTMLcanvas p i
canvas props = element (ElemName "canvas") props []

caption :: forall p i. Node I.HTMLcaption p i
caption = element (ElemName "caption")

caption_ :: forall p i. Array (HTML p i) -> HTML p i
caption_ = caption []

cite :: forall p i. Node I.HTMLcite p i
cite = element (ElemName "cite")

cite_ :: forall p i. Array (HTML p i) -> HTML p i
cite_ = cite []

code :: forall p i. Node I.HTMLcode p i
code = element (ElemName "code")

code_ :: forall p i. Array (HTML p i) -> HTML p i
code_ = code []

col :: forall p i. Leaf I.HTMLcol p i
col props = element (ElemName "col") props []

colgroup :: forall p i. Node I.HTMLcolgroup p i
colgroup = element (ElemName "colgroup")

colgroup_ :: forall p i. Array (HTML p i) -> HTML p i
colgroup_ = colgroup []

command :: forall p i. Leaf I.HTMLcommand p i
command props = element (ElemName "command") props []

datalist :: forall p i. Node I.HTMLdatalist p i
datalist = element (ElemName "datalist")

datalist_ :: forall p i. Array (HTML p i) -> HTML p i
datalist_ = datalist []

dd :: forall p i. Node I.HTMLdd p i
dd = element (ElemName "dd")

dd_ :: forall p i. Array (HTML p i) -> HTML p i
dd_ = dd []

del :: forall p i. Node I.HTMLdel p i
del = element (ElemName "del")

del_ :: forall p i. Array (HTML p i) -> HTML p i
del_ = del []

details :: forall p i. Node I.HTMLdetails p i
details = element (ElemName "details")

details_ :: forall p i. Array (HTML p i) -> HTML p i
details_ = details []

dfn :: forall p i. Node I.HTMLdfn p i
dfn = element (ElemName "dfn")

dfn_ :: forall p i. Array (HTML p i) -> HTML p i
dfn_ = dfn []

dialog :: forall p i. Node I.HTMLdialog p i
dialog = element (ElemName "dialog")

dialog_ :: forall p i. Array (HTML p i) -> HTML p i
dialog_ = dialog []

div :: forall p i. Node I.HTMLdiv p i
div = element (ElemName "div")

div_ :: forall p i. Array (HTML p i) -> HTML p i
div_ = div []

dl :: forall p i. Node I.HTMLdl p i
dl = element (ElemName "dl")

dl_ :: forall p i. Array (HTML p i) -> HTML p i
dl_ = dl []

dt :: forall p i. Node (I.HTMLdt) p i
dt = element (ElemName "dt")

dt_ :: forall p i. Array (HTML p i) -> HTML p i
dt_ = dt []

em :: forall p i. Node I.HTMLem p i
em = element (ElemName "em")

em_ :: forall p i. Array (HTML p i) -> HTML p i
em_ = em []

embed :: forall p i. Node I.HTMLembed p i
embed = element (ElemName "embed")

embed_ :: forall p i. Array (HTML p i) -> HTML p i
embed_ = embed []

fieldset :: forall p i. Node I.HTMLfieldset p i
fieldset = element (ElemName "fieldset")

fieldset_ :: forall p i. Array (HTML p i) -> HTML p i
fieldset_ = fieldset []

figcaption :: forall p i. Node I.HTMLfigcaption p i
figcaption = element (ElemName "figcaption")

figcaption_ :: forall p i. Array (HTML p i) -> HTML p i
figcaption_ = figcaption []

figure :: forall p i. Node I.HTMLfigure p i
figure = element (ElemName "figure")

figure_ :: forall p i. Array (HTML p i) -> HTML p i
figure_ = figure []

footer :: forall p i. Node I.HTMLfooter p i
footer = element (ElemName "footer")

footer_ :: forall p i. Array (HTML p i) -> HTML p i
footer_ = footer []

form :: forall p i. Node I.HTMLform p i
form = element (ElemName "form")

form_ :: forall p i. Array (HTML p i) -> HTML p i
form_ = form []

h1 :: forall p i. Node I.HTMLh1 p i
h1 = element (ElemName "h1")

h1_ :: forall p i. Array (HTML p i) -> HTML p i
h1_ = h1 []

h2 :: forall p i. Node I.HTMLh2 p i
h2 = element (ElemName "h2")

h2_ :: forall p i. Array (HTML p i) -> HTML p i
h2_ = h2 []

h3 :: forall p i. Node I.HTMLh3 p i
h3 = element (ElemName "h3")

h3_ :: forall p i. Array (HTML p i) -> HTML p i
h3_ = h3 []

h4 :: forall p i. Node I.HTMLh4 p i
h4 = element (ElemName "h4")

h4_ :: forall p i. Array (HTML p i) -> HTML p i
h4_ = h4 []

h5 :: forall p i. Node I.HTMLh5 p i
h5 = element (ElemName "h5")

h5_ :: forall p i. Array (HTML p i) -> HTML p i
h5_ = h5 []

h6 :: forall p i. Node I.HTMLh6 p i
h6 = element (ElemName "h6")

h6_ :: forall p i. Array (HTML p i) -> HTML p i
h6_ = h6 []

head :: forall p i. Node I.HTMLhead p i
head = element (ElemName "head")

head_ :: forall p i. Array (HTML p i) -> HTML p i
head_ = head []

header :: forall p i. Node I.HTMLheader p i
header = element (ElemName "header")

header_ :: forall p i. Array (HTML p i) -> HTML p i
header_ = header []

hr :: forall p i. Leaf I.HTMLhr p i
hr props = element (ElemName "hr") props []

hr_ :: forall p i. HTML p i
hr_ = hr []

html :: forall p i. Node I.HTMLhtml p i
html = element (ElemName "html")

html_ :: forall p i. Array (HTML p i) -> HTML p i
html_ = html []

i :: forall p i. Node I.HTMLi p i
i = element (ElemName "i")

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

iframe :: forall p i. Leaf I.HTMLiframe p i
iframe props = element (ElemName "iframe") props []

img :: forall p i. Leaf I.HTMLimg p i
img props = element (ElemName "img") props []

input :: forall p i. Leaf I.HTMLinput p i
input props = element (ElemName "input") props []

ins :: forall p i. Node I.HTMLins p i
ins = element (ElemName "ins")

ins_ :: forall p i. Array (HTML p i) -> HTML p i
ins_ = ins []

kbd :: forall p i. Node I.HTMLkbd p i
kbd = element (ElemName "kbd")

kbd_ :: forall p i. Array (HTML p i) -> HTML p i
kbd_ = kbd []

label :: forall p i. Node I.HTMLlabel p i
label = element (ElemName "label")

label_ :: forall p i. Array (HTML p i) -> HTML p i
label_ = label []

legend :: forall p i. Node I.HTMLlegend p i
legend = element (ElemName "legend")

legend_ :: forall p i. Array (HTML p i) -> HTML p i
legend_ = legend []

li :: forall p i. Node I.HTMLli p i
li = element (ElemName "li")

li_ :: forall p i. Array (HTML p i) -> HTML p i
li_ = li []

link :: forall p i. Leaf I.HTMLlink p i
link props = element (ElemName "link") props []

main :: forall p i. Node I.HTMLmain p i
main = element (ElemName "main")

main_ :: forall p i. Array (HTML p i) -> HTML p i
main_ = main []

map :: forall p i. Node I.HTMLmap p i
map = element (ElemName "map")

map_ :: forall p i. Array (HTML p i) -> HTML p i
map_ = map []

mark :: forall p i. Node I.HTMLmark p i
mark = element (ElemName "mark")

mark_ :: forall p i. Array (HTML p i) -> HTML p i
mark_ = mark []

menu :: forall p i. Node I.HTMLmenu p i
menu = element (ElemName "menu")

menu_ :: forall p i. Array (HTML p i) -> HTML p i
menu_ = menu []

menuitem :: forall p i. Node I.HTMLmenuitem p i
menuitem = element (ElemName "menuitem")

menuitem_ :: forall p i. Array (HTML p i) -> HTML p i
menuitem_ = menuitem []

meta :: forall p i. Leaf I.HTMLmeta p i
meta props = element (ElemName "meta") props []

meter :: forall p i. Node I.HTMLmeter p i
meter = element (ElemName "meter")

meter_ :: forall p i. Array (HTML p i) -> HTML p i
meter_ = meter []

nav :: forall p i. Node I.HTMLnav p i
nav = element (ElemName "nav")

nav_ :: forall p i. Array (HTML p i) -> HTML p i
nav_ = nav []

noscript :: forall p i. Node I.HTMLnoscript p i
noscript = element (ElemName "noscript")

noscript_ :: forall p i. Array (HTML p i) -> HTML p i
noscript_ = noscript []

object :: forall p i. Node I.HTMLobject p i
object = element (ElemName "object")

object_ :: forall p i. Array (HTML p i) -> HTML p i
object_ = object []

ol :: forall p i. Node I.HTMLol p i
ol = element (ElemName "ol")

ol_ :: forall p i. Array (HTML p i) -> HTML p i
ol_ = ol []

optgroup :: forall p i. Node I.HTMLoptgroup p i
optgroup = element (ElemName "optgroup")

optgroup_ :: forall p i. Array (HTML p i) -> HTML p i
optgroup_ = optgroup []

option :: forall p i. Node I.HTMLoption p i
option = element (ElemName "option")

option_ :: forall p i. Array (HTML p i) -> HTML p i
option_ = option []

output :: forall p i. Node I.HTMLoutput p i
output = element (ElemName "output")

output_ :: forall p i. Array (HTML p i) -> HTML p i
output_ = output []

p :: forall p i. Node I.HTMLp p i
p = element (ElemName "p")

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

param :: forall p i. Leaf I.HTMLparam p i
param props = element (ElemName "param") props []

pre :: forall p i. Node I.HTMLpre p i
pre = element (ElemName "pre")

pre_ :: forall p i. Array (HTML p i) -> HTML p i
pre_ = pre []

progress :: forall p i. Node I.HTMLprogress p i
progress = element (ElemName "progress")

progress_ :: forall p i. Array (HTML p i) -> HTML p i
progress_ = progress []

q :: forall p i. Node I.HTMLq p i
q = element (ElemName "q")

q_ :: forall p i. Array (HTML p i) -> HTML p i
q_ = q []

rp :: forall p i. Node I.HTMLrp p i
rp = element (ElemName "rp")

rp_ :: forall p i. Array (HTML p i) -> HTML p i
rp_ = rp []

rt :: forall p i. Node I.HTMLrt p i
rt = element (ElemName "rt")

rt_ :: forall p i. Array (HTML p i) -> HTML p i
rt_ = rt []

ruby :: forall p i. Node I.HTMLruby p i
ruby = element (ElemName "ruby")

ruby_ :: forall p i. Array (HTML p i) -> HTML p i
ruby_ = ruby []

samp :: forall p i. Node I.HTMLsamp p i
samp = element (ElemName "samp")

samp_ :: forall p i. Array (HTML p i) -> HTML p i
samp_ = samp []

script :: forall p i. Node I.HTMLscript p i
script = element (ElemName "script")

script_ :: forall p i. Array (HTML p i) -> HTML p i
script_ = script []

section :: forall p i. Node I.HTMLsection p i
section = element (ElemName "section")

section_ :: forall p i. Array (HTML p i) -> HTML p i
section_ = section []

select :: forall p i. Node I.HTMLselect p i
select = element (ElemName "select")

select_ :: forall p i. Array (HTML p i) -> HTML p i
select_ = select []

small :: forall p i. Node I.HTMLsmall p i
small = element (ElemName "small")

small_ :: forall p i. Array (HTML p i) -> HTML p i
small_ = small []

source :: forall p i. Leaf I.HTMLsource p i
source props = element (ElemName "source") props []

span :: forall p i. Node I.HTMLspan p i
span = element (ElemName "span")

span_ :: forall p i. Array (HTML p i) -> HTML p i
span_ = span []

strong :: forall p i. Node I.HTMLstrong p i
strong = element (ElemName "strong")

strong_ :: forall p i. Array (HTML p i) -> HTML p i
strong_ = strong []

style :: forall p i. Node I.HTMLstyle p i
style = element (ElemName "style")

style_ :: forall p i. Array (HTML p i) -> HTML p i
style_ = style []

sub :: forall p i. Node I.HTMLsub p i
sub = element (ElemName "sub")

sub_ :: forall p i. Array (HTML p i) -> HTML p i
sub_ = sub []

summary :: forall p i. Node I.HTMLsummary p i
summary = element (ElemName "summary")

summary_ :: forall p i. Array (HTML p i) -> HTML p i
summary_ = summary []

sup :: forall p i. Node I.HTMLsup p i
sup = element (ElemName "sup")

sup_ :: forall p i. Array (HTML p i) -> HTML p i
sup_ = sup []

table :: forall p i. Node I.HTMLtable p i
table = element (ElemName "table")

table_ :: forall p i. Array (HTML p i) -> HTML p i
table_ = table []

tbody :: forall p i. Node I.HTMLtbody p i
tbody = element (ElemName "tbody")

tbody_ :: forall p i. Array (HTML p i) -> HTML p i
tbody_ = tbody []

td :: forall p i. Node I.HTMLtd p i
td = element (ElemName "td")

td_ :: forall p i. Array (HTML p i) -> HTML p i
td_ = td []

textarea :: forall p i. Leaf I.HTMLtextarea p i
textarea es = element (ElemName "textarea") es []

tfoot :: forall p i. Node I.HTMLtfoot p i
tfoot = element (ElemName "tfoot")

tfoot_ :: forall p i. Array (HTML p i) -> HTML p i
tfoot_ = tfoot []

th :: forall p i. Node I.HTMLth p i
th = element (ElemName "th")

th_ :: forall p i. Array (HTML p i) -> HTML p i
th_ = th []

thead :: forall p i. Node I.HTMLthead p i
thead = element (ElemName "thead")

thead_ :: forall p i. Array (HTML p i) -> HTML p i
thead_ = thead []

time :: forall p i. Node I.HTMLtime p i
time = element (ElemName "time")

time_ :: forall p i. Array (HTML p i) -> HTML p i
time_ = time []

title :: forall p i. Node I.HTMLtitle p i
title = element (ElemName "title")

title_ :: forall p i. Array (HTML p i) -> HTML p i
title_ = title []

tr :: forall p i. Node I.HTMLtr p i
tr = element (ElemName "tr")

tr_ :: forall p i. Array (HTML p i) -> HTML p i
tr_ = tr []

track :: forall p i. Leaf I.HTMLtrack p i
track props = element (ElemName "track") props []

u :: forall p i. Node I.HTMLu p i
u = element (ElemName "u")

u_ :: forall p i. Array (HTML p i) -> HTML p i
u_ = u []

ul :: forall p i. Node I.HTMLul p i
ul = element (ElemName "ul")

ul_ :: forall p i. Array (HTML p i) -> HTML p i
ul_ = ul []

var :: forall p i. Node I.HTMLvar p i
var = element (ElemName "var")

var_ :: forall p i. Array (HTML p i) -> HTML p i
var_ = var []

video :: forall p i. Node I.HTMLvideo p i
video = element (ElemName "video")

video_ :: forall p i. Array (HTML p i) -> HTML p i
video_ = video []

wbr :: forall p i. Leaf I.HTMLwbr p i
wbr props = element (ElemName "wbr") props []