0 | module Text.HTML.Extra.Attribute 1 | 2 | import public Text.HTML.Attribute 3 | 4 | %default total 5 | 6 | export %inline 7 | active : Bool -> Attribute t 8 | active = Bool "data-active" 9 |