Do ClassName, AttrName, and PropName types belong here instead of web-html?

[nsaunders]

purescript-web/purescript-web-html#30 migrated the ClassName, AttrName, and PropName types from Halogen to web-html.

Considering several relevant functions in Web.DOM.Element (className, setClassName, getAttribute, setAttribute, hasAttribute, and removeAttribute), I wonder why web-html was determined to be the right place for these types rather than web-dom?

And, for that matter, should the above-listed functions not make use of these ClassName and AttrName types? (The situation today is understandable, of course, in that web-dom can't/shouldn't depend on web-html.)

[garyb]

Yeah, moving those here makes sense to me. It could be that they were created on the other repo because Miles was unaware/forgot about the existence of this one 😄