Module

DOM.HTML.Indexed

#CSSPixel

type CSSPixel = Int

#GlobalAttributes

type GlobalAttributes r = (accessKey :: String, class :: String, contentEditable :: Boolean, dir :: DirValue, draggable :: Boolean, hidden :: Boolean, id :: String, lang :: String, spellcheck :: Boolean, style :: String, tabIndex :: Int, title :: String | r)

#GlobalEvents

type GlobalEvents r = (onContextMenu :: Event | r)

#MouseEvents

type MouseEvents r = (onClick :: MouseEvent, onDoubleClick :: MouseEvent, onMouseDown :: MouseEvent, onMouseEnter :: MouseEvent, onMouseLeave :: MouseEvent, onMouseMove :: MouseEvent, onMouseOut :: MouseEvent, onMouseOver :: MouseEvent, onMouseUp :: MouseEvent | r)

#DragEvents

type DragEvents r = (onDrag :: DragEvent, onDragEnd :: DragEvent, onDragEnter :: DragEvent, onDragExit :: DragEvent, onDragLeave :: DragEvent, onDragOver :: DragEvent, onDragStart :: DragEvent, onDrop :: DragEvent | r)

#TouchEvents

type TouchEvents r = (onTouchCancel :: TouchEvent, onTouchEnd :: TouchEvent, onTouchEnter :: TouchEvent, onTouchLeave :: TouchEvent, onTouchMove :: TouchEvent, onTouchStart :: TouchEvent | r)

#PointerEvents

type PointerEvents r = (gotPointerCapture :: Event, lostPointerCapture :: Event, onPointerCancel :: Event, onPointerDown :: Event, onPointerEnter :: Event, onPointerLeave :: Event, onPointerMove :: Event, onPointerOut :: Event, onPointerOver :: Event, onPointerUp :: Event | r)

#KeyEvents

type KeyEvents r = (onKeyDown :: KeyboardEvent, onKeyPress :: KeyboardEvent, onKeyUp :: KeyboardEvent | r)

#TransitionEvents

type TransitionEvents r = (onTransitionEnd :: Event | r)

#FocusEvents

type FocusEvents r = (onBlur :: FocusEvent, onFocus :: FocusEvent, onFocusIn :: FocusEvent, onFocusOut :: FocusEvent | r)

#ClipboardEvents

type ClipboardEvents r = (onCopy :: ClipboardEvent, onCut :: ClipboardEvent, onPaste :: ClipboardEvent | r)

#InteractiveEvents

type InteractiveEvents r = ClipboardEvents (FocusEvents (TransitionEvents (KeyEvents (PointerEvents (TouchEvents (DragEvents (MouseEvents (onWheel :: WheelEvent | r))))))))

#GlobalProperties

type GlobalProperties r = GlobalAttributes (GlobalEvents r)

#Interactive

type Interactive r = InteractiveEvents (GlobalProperties r)

#Noninteractive

type Noninteractive r = GlobalProperties r

#HTMLa

type HTMLa = Interactive (download :: String, href :: String, hrefLang :: String, rel :: String, target :: String, type :: MediaType)

#HTMLabbr

type HTMLabbr = Interactive ()

#HTMLaddress

type HTMLaddress = Interactive (onScroll :: Event)

#HTMLarea

type HTMLarea = Interactive (coords :: String, download :: String, href :: String, hrefLang :: String, media :: String, rel :: String, shape :: String, target :: String, type :: MediaType)

#HTMLarticle

type HTMLarticle = Interactive ()

#HTMLaside

type HTMLaside = Interactive ()

#HTMLaudio

type HTMLaudio = Interactive (autoplay :: Boolean, controls :: Boolean, loop :: Boolean, muted :: Boolean, preload :: PreloadValue, src :: String)

#HTMLb

type HTMLb = Interactive ()

#HTMLbase

type HTMLbase = Noninteractive (href :: String, target :: String)

#HTMLbdi

type HTMLbdi = Interactive ()

#HTMLbdo

type HTMLbdo = Noninteractive ()

#HTMLblockquote

type HTMLblockquote = Interactive (cite :: String, onScroll :: Event)

#HTMLbody

type HTMLbody = Interactive (onBeforeUnload :: Event, onHashChange :: Event, onLoad :: Event, onPageHide :: Event, onPageShow :: Event, onResize :: Event, onScroll :: Event, onUnload :: Event)

#HTMLbr

type HTMLbr = Noninteractive ()

#HTMLbutton

type HTMLbutton = Interactive (autofocus :: Boolean, disabled :: Boolean, form :: String, formAction :: String, formEncType :: MediaType, formMethod :: FormMethod, formNoValidate :: Boolean, formTarget :: String, name :: String, type :: ButtonType, value :: String)

#HTMLcanvas

type HTMLcanvas = Interactive (height :: CSSPixel, width :: CSSPixel)

#HTMLcaption

type HTMLcaption = Interactive (onScroll :: Event)

#HTMLcite

type HTMLcite = Interactive ()

#HTMLcode

type HTMLcode = Interactive ()

#HTMLcol

type HTMLcol = Interactive ()

#HTMLcolgroup

type HTMLcolgroup = Interactive (span :: Int)

#HTMLcommand

type HTMLcommand = Interactive ()

#HTMLdatalist

type HTMLdatalist = Interactive ()

#HTMLdd

type HTMLdd = Interactive (onScroll :: Event)

#HTMLdel

type HTMLdel = Interactive (cite :: String, datetime :: String)

#HTMLdetails

type HTMLdetails = Interactive (open :: Boolean)

#HTMLdfn

type HTMLdfn = Interactive ()

#HTMLdialog

type HTMLdialog = Interactive (open :: Boolean)

#HTMLdiv

type HTMLdiv = Interactive (onScroll :: Event)

#HTMLdl

type HTMLdl = Interactive (onScroll :: Event)

#HTMLdt

type HTMLdt = Interactive (onScroll :: Event)

#HTMLem

type HTMLem = Interactive ()

#HTMLembed

type HTMLembed = Interactive (height :: CSSPixel, src :: String, type :: MediaType, width :: CSSPixel)

#HTMLfieldset

type HTMLfieldset = Interactive (disabled :: Boolean, form :: String, name :: String, onScroll :: Event)

#HTMLfigcaption

type HTMLfigcaption = Interactive ()

#HTMLfigure

type HTMLfigure = Interactive ()

#HTMLfooter

type HTMLfooter = Interactive ()

#HTMLform

type HTMLform = Interactive (acceptCharset :: String, action :: String, autocomplete :: OnOff, enctype :: MediaType, method :: FormMethod, name :: String, noValidate :: Boolean, onReset :: Event, onScroll :: Event, onSubmit :: Event, target :: String)

#HTMLh1

type HTMLh1 = Interactive (onScroll :: Event)

#HTMLh2

type HTMLh2 = Interactive (onScroll :: Event)

#HTMLh3

type HTMLh3 = Interactive (onScroll :: Event)

#HTMLh4

type HTMLh4 = Interactive (onScroll :: Event)

#HTMLh5

type HTMLh5 = Interactive (onScroll :: Event)

#HTMLh6

type HTMLh6 = Interactive (onScroll :: Event)

#HTMLhead

type HTMLhead = Noninteractive ()

#HTMLheader

type HTMLheader = Interactive ()

#HTMLhr

type HTMLhr = Interactive ()

#HTMLhtml

type HTMLhtml = Interactive (manifest :: String, onScroll :: Event, xmlns :: String)

#HTMLi

type HTMLi = Interactive ()

#HTMLiframe

type HTMLiframe = Noninteractive (height :: CSSPixel, name :: String, onLoad :: Event, sandbox :: String, src :: String, srcDoc :: String, width :: CSSPixel)

#HTMLimg

type HTMLimg = Interactive (alt :: String, crossOrigin :: CrossOriginValue, height :: CSSPixel, isMap :: Boolean, longDesc :: String, onAbort :: Event, onError :: Event, onLoad :: Event, src :: String, useMap :: String, width :: CSSPixel)

#HTMLinput

type HTMLinput = Interactive (accept :: InputAcceptType, autocomplete :: OnOff, autofocus :: Boolean, checked :: Boolean, disabled :: Boolean, form :: String, formAction :: String, formEncType :: MediaType, formMethod :: FormMethod, formNoValidate :: Boolean, formTarget :: String, height :: CSSPixel, list :: String, max :: Number, min :: Number, multiple :: Boolean, name :: String, onAbort :: Event, onChange :: Event, onError :: Event, onInput :: Event, onInvalid :: Event, onLoad :: Event, onSearch :: Event, onSelect :: Event, pattern :: String, placeholder :: String, readOnly :: Boolean, required :: Boolean, size :: Int, src :: String, step :: StepValue, type :: InputType, value :: String, width :: CSSPixel)

#HTMLins

type HTMLins = Interactive (cite :: String, datetime :: DateTime)

#HTMLkbd

type HTMLkbd = Interactive ()

#HTMLlabel

type HTMLlabel = Interactive (for :: String, form :: String)

#HTMLlegend

type HTMLlegend = Interactive ()

#HTMLli

type HTMLli = Interactive (onScroll :: Event, value :: Int)

#HTMLlink

type HTMLlink = Noninteractive (crossOrigin :: CrossOriginValue, href :: String, hreflang :: String, media :: String, onLoad :: Event, rel :: String, sizes :: String, type :: MediaType)

#HTMLmain

type HTMLmain = Interactive ()

#HTMLmap

type HTMLmap = Interactive (name :: String)

#HTMLmark

type HTMLmark = Interactive ()

#HTMLmenu

type HTMLmenu = Interactive (label :: String, onScroll :: Event, type :: MenuType)

#HTMLmenuitem

type HTMLmenuitem = Interactive (checked :: Boolean, command :: String, default :: Boolean, disabled :: Boolean, icon :: String, label :: String, radioGroup :: String, type :: MenuitemType)

#HTMLmeta

type HTMLmeta = Noninteractive (charset :: String, content :: String, httpEquiv :: String, name :: String)

#HTMLmeter

type HTMLmeter = Interactive (form :: String, high :: Number, low :: Number, max :: Number, min :: Number, optimum :: Number, value :: Number)

#HTMLnav

type HTMLnav = Interactive ()

#HTMLnoscript

type HTMLnoscript = Interactive ()

#HTMLobject

type HTMLobject = Interactive (data :: String, form :: String, height :: CSSPixel, name :: String, onError :: Event, onScroll :: Event, type :: MediaType, useMap :: String, width :: CSSPixel)

#HTMLol

type HTMLol = Interactive (onScroll :: Event, reversed :: Boolean, start :: Int, type :: OrderedListType)

#HTMLoptgroup

type HTMLoptgroup = Interactive (disabled :: Boolean, label :: String)

#HTMLoption

type HTMLoption = Interactive (disabled :: Boolean, label :: String, selected :: Boolean, value :: String)

#HTMLoutput

type HTMLoutput = Interactive (for :: String, form :: String, name :: String)

#HTMLp

type HTMLp = Interactive (onScroll :: Event)

#HTMLparam

type HTMLparam = Noninteractive (name :: String, value :: String)

#HTMLpre

type HTMLpre = Interactive (onScroll :: Event)

#HTMLprogress

type HTMLprogress = Interactive (max :: Number, value :: Number)

#HTMLq

type HTMLq = Interactive (cite :: String)

#HTMLrp

type HTMLrp = Interactive ()

#HTMLrt

type HTMLrt = Interactive ()

#HTMLruby

type HTMLruby = Interactive ()

#HTMLsamp

type HTMLsamp = Interactive ()

#HTMLscript

type HTMLscript = Noninteractive (async :: Boolean, charset :: String, defer :: Boolean, onError :: Event, onLoad :: Event, src :: String, type :: MediaType)

#HTMLsection

type HTMLsection = Interactive ()

#HTMLselect

type HTMLselect = Interactive (autofocus :: Boolean, disabled :: Boolean, form :: String, multiple :: Boolean, name :: String, onChange :: Event, onScroll :: Event, required :: Boolean, selectedIndex :: Int, size :: Int, value :: String)

#HTMLsmall

type HTMLsmall = Interactive ()

#HTMLsource

type HTMLsource = Interactive (media :: String, src :: String, type :: MediaType)

#HTMLspan

type HTMLspan = Interactive ()

#HTMLstrong

type HTMLstrong = Interactive ()

#HTMLstyle

type HTMLstyle = Noninteractive (media :: String, onError :: Event, onLoad :: Event, scoped :: Boolean, type :: MediaType)

#HTMLsub

type HTMLsub = Interactive ()

#HTMLsummary

type HTMLsummary = Interactive ()

#HTMLsup

type HTMLsup = Interactive ()

#HTMLtable

type HTMLtable = Interactive (sortable :: Boolean)

#HTMLtbody

type HTMLtbody = Interactive (onScroll :: Event)

#HTMLtd

type HTMLtd = Interactive (colSpan :: Int, headers :: String, rowSpan :: Int)

#HTMLtextarea

type HTMLtextarea = Interactive (autofocus :: Boolean, cols :: Int, disabled :: Boolean, form :: String, maxLength :: Int, name :: String, onChange :: Event, onInput :: Event, onScroll :: Event, onSelect :: Event, placeholder :: String, readOnly :: Boolean, required :: Boolean, rows :: Int, value :: String, wrap :: WrapValue)

#HTMLtfoot

type HTMLtfoot = Interactive (onScroll :: Event)

#HTMLth

type HTMLth = Interactive (abbr :: String, colSpan :: Int, headers :: String, rowSpan :: Int, scope :: ScopeValue, sorted :: Boolean)

#HTMLthead

type HTMLthead = Interactive ()

#HTMLtime

type HTMLtime = Interactive (datetime :: DateTime)

#HTMLtitle

type HTMLtitle = Noninteractive ()

#HTMLtr

type HTMLtr = Interactive ()

#HTMLtrack

type HTMLtrack = Interactive (default :: Boolean, kind :: KindValue, label :: String, src :: String, srcLang :: String)

#HTMLu

type HTMLu = Interactive ()

#HTMLul

type HTMLul = Interactive (onScroll :: Event)

#HTMLvar

type HTMLvar = Interactive ()

#HTMLvideo

type HTMLvideo = Interactive (autoplay :: Boolean, controls :: Boolean, height :: CSSPixel, loop :: Boolean, muted :: Boolean, poster :: String, preload :: PreloadValue, src :: String, type :: MediaType, width :: CSSPixel)

#HTMLwbr

type HTMLwbr = Interactive ()