Idris2Doc : Text.HTML.Extra.Attribute

Text.HTML.Extra.Attribute

(source)
Reexports
import public Text.HTML.Attribute
Definitions
active : Bool -> Attribute t
  Totality: total
  Visibility: export