Merge pull request #53 from masaeedu/newtypealternate

Add newtype instance for Alternate
purescript · Sep 5, 2019 · 05d40c5 · 05d40c5
2 parents 8af53ee + c25cd66
commit 05d40c5
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/bower.json b/bower.json
@@ -16,7 +16,8 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-prelude": "^4.0.0"
+    "purescript-prelude": "^4.0.0",
+    "purescript-newtype": "^3.0.0"
   },
   "devDependencies": {
     "purescript-effect": "^2.0.0"

diff --git a/src/Data/Monoid/Alternate.purs b/src/Data/Monoid/Alternate.purs
@@ -5,6 +5,7 @@ import Prelude
 import Control.Alternative (class Alt, class Plus, class Alternative, empty, (<|>))
 import Control.Comonad (class Comonad, class Extend)
 import Data.Eq (class Eq1)
+import Data.Newtype (class Newtype)
 import Data.Ord (class Ord1)
 
 -- | Monoid and semigroup instances corresponding to `Plus` and `Alt` instances
@@ -16,6 +17,8 @@ import Data.Ord (class Ord1)
 -- | ```
 newtype Alternate f a = Alternate (f a)
 
+derive instance newtypeAlternate :: Newtype (Alternate f a) _
+
 derive newtype instance eqAlternate :: Eq (f a) => Eq (Alternate f a)
 
 derive newtype instance eq1Alternate :: Eq1 f => Eq1 (Alternate f)