HP.data- #3
Description
At the moment an attribute in html data-toggle is translated as HP.data-toggle.
I think instead this function https://pursuit.purescript.org/packages/purescript-halogen/4.0.0/docs/Halogen.HTML.Properties#v:attr should be used
HP.attr (AttrName "data-toggle") "value"