Merge pull request #9 from safareli/eq1

Add Eq1 instance

Author: garyb

package.json

@@ -5,8 +5,8 @@
     "build": "pulp build -- --censor-lib --strict"
   },
   "devDependencies": {
-    "pulp": "^10.0.4",
-    "purescript-psa": "^0.5.0-rc.1",
+    "pulp": "^12.0.1",
+    "purescript-psa": "^0.5.1",
     "rimraf": "^2.6.1"
   }
 }

src/Data/Const.purs

@@ -2,6 +2,7 @@ module Data.Const where
 
 import Prelude
 
+import Data.Eq (class Eq1)
 import Data.Foldable (class Foldable)
 import Data.Functor.Contravariant (class Contravariant)
 import Data.Functor.Invariant (class Invariant, imapF)
@@ -22,6 +23,9 @@ derive instance newtypeConst :: Newtype (Const a b) _
 
 derive newtype instance eqConst :: Eq a => Eq (Const a b)
 
+instance eq1Const :: Eq a => Eq1 (Const a) where
+  eq1 = eq
+
 derive newtype instance ordConst :: Ord a => Ord (Const a b)
 
 derive newtype instance boundedConst :: Bounded a => Bounded (Const a b)