Add common PropName, AttrName, ClassName

src/Web/HTML.purs

@@ -5,6 +5,7 @@ module Web.HTML
 
 import Effect (Effect)
 import Web.HTML.Window (Window)
+import Web.HTML.Common (PropName, AttrName, ClassName) as Exports
 import Web.HTML.History (History) as Exports
 import Web.HTML.HTMLAnchorElement (HTMLAnchorElement) as Exports
 import Web.HTML.HTMLAreaElement (HTMLAreaElement) as Exports

src/Web/HTML/Common.purs

@@ -0,0 +1,30 @@
+module Web.HTML.Common where
+
+import Prelude
+
+import Data.Newtype (class Newtype)
+
+-- | A type-safe wrapper for property names.
+-- |
+-- | The phantom type `value` describes the type of value which this property
+-- | requires.
+newtype PropName value = PropName String
+
+derive instance newtypePropName :: Newtype (PropName value) _
+derive newtype instance eqPropName :: Eq (PropName value)
+derive newtype instance ordPropName :: Ord (PropName value)
+
+-- | A type-safe wrapper for attribute names.
+newtype AttrName = AttrName String
+
+derive instance newtypeAttrName :: Newtype AttrName _
+derive newtype instance eqAttrName :: Eq AttrName
+derive newtype instance ordAttrName :: Ord AttrName
+
+-- | A wrapper for strings which are used as CSS classes.
+newtype ClassName = ClassName String
+
+derive instance newtypeClassName :: Newtype ClassName _
+derive newtype instance eqClassName :: Eq ClassName
+derive newtype instance ordClassName :: Ord ClassName
+derive newtype instance semigroupClassName :: Semigroup ClassName