Idris2Doc : Text.WebIDL.Parser.Attributes

Text.WebIDL.Parser.Attributes

(source)
Definitions
extAttribute : Rule True ExtAttribute
  Totality: total
  Visibility: export
eas : SnocList ExtAttribute -> Bounds -> AccRule True ExtAttributeList
  Totality: total
  Visibility: export
attributes : Rule False ExtAttributeList
  Totality: total
  Visibility: export
attributed : Rule True a -> Rule True (Attributed a)
  Totality: total
  Visibility: export