{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds     #-}

module Html.Attribute where

import Html.Type

accept_ :: a -> 'AcceptA := a
accept_ = AT

acceptCharset_ :: a -> 'AcceptCharsetA := a
acceptCharset_ = AT

accesskey_ :: a -> 'AccesskeyA := a
accesskey_ = AT

action_ :: a -> 'ActionA := a
action_ = AT

allowfullscreen_ :: 'AllowfullscreenA := ()
allowfullscreen_ = AT ()

allowpaymentrequest_ :: 'AllowpaymentrequestA := ()
allowpaymentrequest_ = AT ()

align_ :: a -> 'AlignA := a
align_ = AT

alt_ :: a -> 'AltA := a
alt_ = AT

async_ :: 'AsyncA := ()
async_ = AT ()

autocomplete_ :: a -> 'AutocompleteA := a
autocomplete_ = AT

autofocus_ :: 'AutofocusA := ()
autofocus_ = AT ()

autoplay_ :: 'AutoplayA := ()
autoplay_ = AT ()

autosave_ :: a -> 'AutosaveA := a
autosave_ = AT

bgcolor_ :: a -> 'BgcolorA := a
bgcolor_ = AT

border_ :: a -> 'BorderA := a
border_ = AT

buffered_ :: a -> 'BufferedA := a
buffered_ = AT

challenge_ :: a -> 'ChallengeA := a
challenge_ = AT

charset_ :: a -> 'CharsetA := a
charset_ = AT

checked_ :: 'CheckedA := ()
checked_ = AT ()

cite_ :: a -> 'CiteA := a
cite_ = AT

class_ :: a -> 'ClassA := a
class_ = AT

code_ :: a -> 'CodeA := a
code_ = AT

codebase_ :: a -> 'CodebaseA := a
codebase_ = AT

color_ :: a -> 'ColorA := a
color_ = AT

cols_ :: Integral a => a -> 'ColsA := a
cols_ = AT

colspan_ :: Integral a => a -> 'ColspanA := a
colspan_ = AT

content_ :: a -> 'ContentA := a
content_ = AT

contenteditable_ :: a -> 'ContenteditableA := a
contenteditable_ = AT

contextmenu_ :: a -> 'ContextmenuA := a
contextmenu_ = AT

controls_ :: 'ControlsA := ()
controls_ = AT ()

coords_ :: a -> 'CoordsA := a
coords_ = AT

crossorigin_ :: a -> 'CrossoriginA := a
crossorigin_ = AT

data_ :: a -> 'DataA := a
data_ = AT

datetime_ :: a -> 'DatetimeA := a
datetime_ = AT

default_ :: 'DefaultA := ()
default_ = AT ()

defer_ :: 'DeferA := ()
defer_ = AT ()

dir_ :: a -> 'DirA := a
dir_ = AT

dirname_ :: a -> 'DirnameA := a
dirname_ = AT

disabled_ :: 'DisabledA := ()
disabled_ = AT ()

download_ :: a -> 'DownloadA := a
download_ = AT

draggable_ :: a -> 'DraggableA := a
draggable_ = AT

dropzone_ :: a -> 'DropzoneA := a
dropzone_ = AT

enctype_ :: a -> 'EnctypeA := a
enctype_ = AT

for_ :: a -> 'ForA := a
for_ = AT

form_ :: a -> 'FormA := a
form_ = AT

formaction_ :: a -> 'FormactionA := a
formaction_ = AT

formenctype_ :: a -> 'FormenctypeA := a
formenctype_ = AT

formmethod_ :: a -> 'FormmethodA := a
formmethod_ = AT

formnovalidate_ :: 'FormnovalidateA := ()
formnovalidate_ = AT ()

formtarget_ :: a -> 'FormtargetA := a
formtarget_ = AT

headers_ :: a -> 'HeadersA := a
headers_ = AT

height_ :: Integral a => a -> 'HeightA := a
height_ = AT

hidden_ :: 'HiddenA := ()
hidden_ = AT ()

high_ :: Num a => a -> 'HighA := a
high_ = AT

href_ :: a -> 'HrefA := a
href_ = AT

hreflang_ :: a -> 'HreflangA := a
hreflang_ = AT

httpEquiv_ :: a -> 'HttpEquivA := a
httpEquiv_ = AT

icon_ :: a -> 'IconA := a
icon_ = AT

id_ :: a -> 'IdA := a
id_ = AT

integrity_ :: a -> 'IntegrityA := a
integrity_ = AT

ismap_ :: 'IsmapA := ()
ismap_ = AT ()

itemprop_ :: a -> 'ItempropA := a
itemprop_ = AT

keytype_ :: a -> 'KeytypeA := a
keytype_ = AT

kind_ :: a -> 'KindA := a
kind_ = AT

label_ :: a -> 'LabelA := a
label_ = AT

lang_ :: a -> 'LangA := a
lang_ = AT

language_ :: a -> 'LanguageA := a
language_ = AT

list_ :: a -> 'ListA := a
list_ = AT

longdesc_ :: a -> 'LongdescA := a
longdesc_ = AT

loop_ :: 'LoopA := ()
loop_ = AT ()

low_ :: Num a => a -> 'LowA := a
low_ = AT

manifest_ :: a -> 'ManifestA := a
manifest_ = AT

max_ :: Num a => a -> 'MaxA := a
max_ = AT

maxlength_ :: Integral a => a -> 'MaxlengthA := a
maxlength_ = AT

minlength_ :: a -> 'MinlengthA := a
minlength_ = AT

media_ :: Integral a => a -> 'MediaA := a
media_ = AT

method_ :: a -> 'MethodA := a
method_ = AT

min_ :: Num a => a -> 'MinA := a
min_ = AT

multiple_ :: 'MultipleA := ()
multiple_ = AT ()

muted_ :: 'MutedA := ()
muted_ = AT ()

name_ :: a -> 'NameA := a
name_ = AT

nonce_ :: a -> 'NonceA := a
nonce_ = AT

novalidate_ :: 'NovalidateA := ()
novalidate_ = AT ()

open_ :: 'OpenA := ()
open_ = AT ()

optimum_ :: Num a => a -> 'OptimumA := a
optimum_ = AT

pattern_ :: a -> 'PatternA := a
pattern_ = AT

ping_ :: a -> 'PingA := a
ping_ = AT

placeholder_ :: a -> 'PlaceholderA := a
placeholder_ = AT

poster_ :: a -> 'PosterA := a
poster_ = AT

preload_ :: a -> 'PreloadA := a
preload_ = AT

radiogroup_ :: a -> 'RadiogroupA := a
radiogroup_ = AT

readonly_ :: 'ReadonlyA := ()
readonly_ = AT ()

referrerpolicy_ :: a -> 'ReferrerpolicyA := a
referrerpolicy_ = AT

rel_ :: a -> 'RelA := a
rel_ = AT

required_ :: 'RequiredA := ()
required_ = AT ()

rev_ :: a -> 'RevA := a
rev_ = AT

reversed_ :: 'ReversedA := ()
reversed_ = AT ()

rows_ :: Integral a => a -> 'RowsA := a
rows_ = AT

rowspan_ :: Integral a => a -> 'RowspanA := a
rowspan_ = AT

sandbox_ :: a -> 'SandboxA := a
sandbox_ = AT

scope_ :: a -> 'ScopeA := a
scope_ = AT

scoped_ :: a -> 'ScopedA := a
scoped_ = AT

seamless_ :: a -> 'SeamlessA := a
seamless_ = AT

selected_ :: 'SelectedA := ()
selected_ = AT ()

shape_ :: a -> 'ShapeA := a
shape_ = AT

size_ :: Integral a => a -> 'SizeA := a
size_ = AT

sizes_ :: a -> 'SizesA := a
sizes_ = AT

slot_ :: a -> 'SlotA := a
slot_ = AT

span_ :: Integral a => a -> 'SpanA := a
span_ = AT

spellcheck_ :: a -> 'SpellcheckA := a
spellcheck_ = AT

src_ :: a -> 'SrcA := a
src_ = AT

srcdoc_ :: a -> 'SrcdocA := a
srcdoc_ = AT

srclang_ :: a -> 'SrclangA := a
srclang_ = AT

srcset_ :: a -> 'SrcsetA := a
srcset_ = AT

start_ :: Integral a => a -> 'StartA := a
start_ = AT

step_ :: Num a => a -> 'StepA := a
step_ = AT

style_ :: a -> 'StyleA := a
style_ = AT

summary_ :: a -> 'SummaryA := a
summary_ = AT

tabindex_ :: Integral a => a -> 'TabindexA := a
tabindex_ = AT

target_ :: a -> 'TargetA := a
target_ = AT

title_ :: a -> 'TitleA := a
title_ = AT

translate_ :: a -> 'TranslateA := a
translate_ = AT

type_ :: a -> 'TypeA := a
type_ = AT

typemustmatch_ :: 'TypemustmatchA := ()
typemustmatch_ = AT ()

usemap_ :: a -> 'UsemapA := a
usemap_ = AT

value_ :: a -> 'ValueA := a
value_ = AT

width_ :: Integral a => a -> 'WidthA := a
width_ = AT

wrap_ :: a -> 'WrapA := a
wrap_ = AT

addAttributes :: (a <?> (b # b')) c => b' -> (a :@: b) c -> (a :@: (b # b')) c
addAttributes b' (WithAttributes b c) = WithAttributes (b # b') c