Html.Attribute

Documentation

role_ :: a -> RoleA := a

ariaActivedescendant_ :: a -> AriaActivedescendantA := a

ariaAtomic_ :: a -> AriaAtomicA := a

ariaAutocomplete_ :: a -> AriaAutocompleteA := a

ariaBusy_ :: a -> AriaBusyA := a

ariaChecked_ :: a -> AriaCheckedA := a

ariaControls_ :: a -> AriaControlsA := a

ariaDescribedby_ :: a -> AriaDescribedbyA := a

ariaDisabled_ :: a -> AriaDisabledA := a

ariaDropeffect_ :: a -> AriaDropeffectA := a

ariaExpanded_ :: a -> AriaExpandedA := a

ariaFlowto_ :: a -> AriaFlowtoA := a

ariaGrabbed_ :: a -> AriaGrabbedA := a

ariaHaspopup_ :: a -> AriaHaspopupA := a

ariaHidden_ :: a -> AriaHiddenA := a

ariaInvalid_ :: a -> AriaInvalidA := a

ariaLabel_ :: a -> AriaLabelA := a

ariaLabelledBy_ :: a -> AriaLabelledByA := a

ariaLevel_ :: a -> AriaLevelA := a

ariaLive_ :: a -> AriaLiveA := a

ariaMultiline_ :: a -> AriaMultilineA := a

ariaMultiselectable_ :: a -> AriaMultiselectableA := a

ariaOwns_ :: a -> AriaOwnsA := a

ariaPosinset_ :: a -> AriaPosinsetA := a

ariaPressed_ :: a -> AriaPressedA := a

ariaReadonly_ :: a -> AriaReadonlyA := a

ariaRelevant_ :: a -> AriaRelevantA := a

ariaRequired_ :: a -> AriaRequiredA := a

ariaSelected_ :: a -> AriaSelectedA := a

ariaSetsize_ :: a -> AriaSetsizeA := a

ariaSort_ :: a -> AriaSortA := a

ariaValuemax_ :: a -> AriaValuemaxA := a

ariaValuemin_ :: a -> AriaValueminA := a

ariaValuenow_ :: a -> AriaValuenowA := a

ariaValuetext_ :: a -> AriaValuetextA := a

accept_ :: a -> AcceptA := a

acceptCharset_ :: a -> AcceptCharsetA := a

accesskey_ :: a -> AccesskeyA := a

action_ :: a -> ActionA := a

allowfullscreen_ :: AllowfullscreenA := ()

allowpaymentrequest_ :: AllowpaymentrequestA := ()

align_ :: a -> AlignA := a

alt_ :: a -> AltA := a

async_ :: AsyncA := ()

autocomplete_ :: a -> AutocompleteA := a

autofocus_ :: AutofocusA := ()

autoplay_ :: AutoplayA := ()

autosave_ :: a -> AutosaveA := a

bgcolor_ :: a -> BgcolorA := a

border_ :: a -> BorderA := a

buffered_ :: a -> BufferedA := a

challenge_ :: a -> ChallengeA := a

charset_ :: a -> CharsetA := a

checked_ :: CheckedA := ()

cite_ :: a -> CiteA := a

class_ :: a -> ClassA := a

code_ :: a -> CodeA := a

codebase_ :: a -> CodebaseA := a

color_ :: a -> ColorA := a

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

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

content_ :: a -> ContentA := a

contenteditable_ :: a -> ContenteditableA := a

contextmenu_ :: a -> ContextmenuA := a

controls_ :: ControlsA := ()

coords_ :: a -> CoordsA := a

crossorigin_ :: a -> CrossoriginA := a

data_ :: a -> DataA := a

datetime_ :: a -> DatetimeA := a

default_ :: DefaultA := ()

defer_ :: DeferA := ()

dir_ :: a -> DirA := a

dirname_ :: a -> DirnameA := a

disabled_ :: DisabledA := ()

download_ :: a -> DownloadA := a

draggable_ :: a -> DraggableA := a

dropzone_ :: a -> DropzoneA := a

enctype_ :: a -> EnctypeA := a

for_ :: a -> ForA := a

form_ :: a -> FormA := a

formaction_ :: a -> FormactionA := a

formenctype_ :: a -> FormenctypeA := a

formmethod_ :: a -> FormmethodA := a

formnovalidate_ :: FormnovalidateA := ()

formtarget_ :: a -> FormtargetA := a

headers_ :: a -> HeadersA := a

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

hidden_ :: HiddenA := ()

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

href_ :: a -> HrefA := a

hreflang_ :: a -> HreflangA := a

httpEquiv_ :: a -> HttpEquivA := a

icon_ :: a -> IconA := a

id_ :: a -> IdA := a

integrity_ :: a -> IntegrityA := a

ismap_ :: IsmapA := ()

itemprop_ :: a -> ItempropA := a

keytype_ :: a -> KeytypeA := a

kind_ :: a -> KindA := a

label_ :: a -> LabelA := a

lang_ :: a -> LangA := a

language_ :: a -> LanguageA := a

list_ :: a -> ListA := a

longdesc_ :: a -> LongdescA := a

loop_ :: LoopA := ()

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

manifest_ :: a -> ManifestA := a

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

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

minlength_ :: Integral a => a -> MinlengthA := a

media_ :: a -> MediaA := a

method_ :: a -> MethodA := a

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

multiple_ :: MultipleA := ()

muted_ :: MutedA := ()

name_ :: a -> NameA := a

nonce_ :: a -> NonceA := a

novalidate_ :: NovalidateA := ()

open_ :: OpenA := ()

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

pattern_ :: a -> PatternA := a

ping_ :: a -> PingA := a

placeholder_ :: a -> PlaceholderA := a

poster_ :: a -> PosterA := a

preload_ :: a -> PreloadA := a

radiogroup_ :: a -> RadiogroupA := a

readonly_ :: ReadonlyA := ()

referrerpolicy_ :: a -> ReferrerpolicyA := a

rel_ :: a -> RelA := a

required_ :: RequiredA := ()

rev_ :: a -> RevA := a

reversed_ :: ReversedA := ()

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

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

sandbox_ :: a -> SandboxA := a

scope_ :: a -> ScopeA := a

scoped_ :: a -> ScopedA := a

seamless_ :: a -> SeamlessA := a

selected_ :: SelectedA := ()

shape_ :: a -> ShapeA := a

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

sizes_ :: a -> SizesA := a

slot_ :: a -> SlotA := a

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

spellcheck_ :: a -> SpellcheckA := a

src_ :: a -> SrcA := a

srcdoc_ :: a -> SrcdocA := a

srclang_ :: a -> SrclangA := a

srcset_ :: a -> SrcsetA := a

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

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

style_ :: a -> StyleA := a

summary_ :: a -> SummaryA := a

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

target_ :: a -> TargetA := a

title_ :: a -> TitleA := a

translate_ :: a -> TranslateA := a

type_ :: a -> TypeA := a

typemustmatch_ :: TypemustmatchA := ()

usemap_ :: a -> UsemapA := a

value_ :: a -> ValueA := a

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

wrap_ :: a -> WrapA := a

custom_ :: a -> CustomA b := a

Escape hatch for defining non standard attributes. Note that it's your responsibility to choose valid attribute names, these are at the moment not checked. These custom attributes don't carry any performance penalty, they are fused at compiletime just as much as standard attributes.

  {-# LANGUAGE DataKinds #-}
  {-# LANGUAGE TypeOperators #-}
  import Html
  import qualified Html.Attribute as A

  dataName_ :: a -> 'CustomA "data-name" := a
  dataName_ = A.custom_

>>> div_A (dataName_ "foo") "bar"
<div data-name="foo">bar</div>

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