content: {-# OPTIONS_GHC -fno-warn-unticked-promoted-constructors #-}
  
  {-# LANGUAGE TypeFamilies #-}
  {-# LANGUAGE DataKinds    #-}
  
  module Html.Aria
    ( module Html.Aria
    , module Html.Type
    ) where
  
  import Html.Type
  
    -- [2020-11-03] ARIA https://w3c.github.io/aria/#states_and_properties
  newtype instance Attribute "role"                        True v = RoleA v
  
    -- 6.7 Definitios of States and Properties (all aria-* attributes)
  newtype instance Attribute "aria-activedescendant"       True v = AriaActivedescendantA v
  newtype instance Attribute "aria-atomic"                 True v = AriaAtomicA v
  newtype instance Attribute "aria-autocomplete"           True v = AriaAutocompleteA v
  newtype instance Attribute "aria-braillelable"           True v = AriaBraillelableA v
  newtype instance Attribute "aria-brailleroledescription" True v = AriaBrailleroledescriptionA v
  newtype instance Attribute "aria-busy"                   True v = AriaBusyA v
  newtype instance Attribute "aria-checked"                True v = AriaCheckedA v
  newtype instance Attribute "aria-colcount"               True v = AriaColcountA v
  newtype instance Attribute "aria-colindex"               True v = AriaColindexA v
  newtype instance Attribute "aria-colindextext"           True v = AriaColindextextA v
  newtype instance Attribute "aria-colspan"                True v = AriaColspanA v
  newtype instance Attribute "aria-controls"               True v = AriaControlsA v
  newtype instance Attribute "aria-current"                True v = AriaCurrentA v
  newtype instance Attribute "aria-describedby"            True v = AriaDescribedbyA v
  newtype instance Attribute "aria-description"            True v = AriaDescriptionA v
  newtype instance Attribute "aria-details"                True v = AriaDetailsA v
  newtype instance Attribute "aria-disabled"               True v = AriaDisabledA v
  newtype instance Attribute "aria-dropeffect"             True v = AriaDropeffectA v
  newtype instance Attribute "aria-errormessage"           True v = AriaErrormessageA v
  newtype instance Attribute "aria-expanded"               True v = AriaExpandedA v
  newtype instance Attribute "aria-flowto"                 True v = AriaFlowtoA v
  newtype instance Attribute "aria-grabbed"                True v = AriaGrabbedA v
  newtype instance Attribute "aria-haspopup"               True v = AriaHaspopupA v
  newtype instance Attribute "aria-hidden"                 True v = AriaHiddenA v
  newtype instance Attribute "aria-invalid"                True v = AriaInvalidA v
  newtype instance Attribute "aria-keyshortcuts"           True v = AriaKeyshortcutsA v
  newtype instance Attribute "aria-label"                  True v = AriaLabelA v
  newtype instance Attribute "aria-labelledBy"             True v = AriaLabelledByA v
  newtype instance Attribute "aria-level"                  True v = AriaLevelA v
  newtype instance Attribute "aria-live"                   True v = AriaLiveA v
  newtype instance Attribute "aria-modal"                  True v = AriaModalA v
  newtype instance Attribute "aria-multiline"              True v = AriaMultilineA v
  newtype instance Attribute "aria-multiselectable"        True v = AriaMultiselectableA v
  newtype instance Attribute "aria-orientation"            True v = AriaOrientationA v
  newtype instance Attribute "aria-owns"                   True v = AriaOwnsA v
  newtype instance Attribute "aria-placeholder"            True v = AriaPlaceholderA v
  newtype instance Attribute "aria-posinset"               True v = AriaPosinsetA v
  newtype instance Attribute "aria-pressed"                True v = AriaPressedA v
  newtype instance Attribute "aria-readonly"               True v = AriaReadonlyA v
  newtype instance Attribute "aria-relevant"               True v = AriaRelevantA v
  newtype instance Attribute "aria-required"               True v = AriaRequiredA v
  newtype instance Attribute "aria-roledescription"        True v = AriaRoledescriptionA v
  newtype instance Attribute "aria-rowcount"               True v = AriaRowcountA v
  newtype instance Attribute "aria-rowindex"               True v = AriaRowindexA v
  newtype instance Attribute "aria-rowindextext"           True v = AriaRowindextextA v
  newtype instance Attribute "aria-rowspan"                True v = AriaRowspanA v
  newtype instance Attribute "aria-selected"               True v = AriaSelectedA v
  newtype instance Attribute "aria-setsize"                True v = AriaSetsizeA v
  newtype instance Attribute "aria-sort"                   True v = AriaSortA v
  newtype instance Attribute "aria-valuemax"               True v = AriaValuemaxA v
  newtype instance Attribute "aria-valuemin"               True v = AriaValueminA v
  newtype instance Attribute "aria-valuenow"               True v = AriaValuenowA v
  newtype instance Attribute "aria-valuetext"              True v = AriaValuetextA v
  