Skip to content

Commit c25cd66

Browse files
committed
Add newtype instance for Alternate
1 parent 8af53ee commit c25cd66

File tree

2 files changed

+5
-1
lines changed

2 files changed

+5
-1
lines changed

bower.json

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,8 @@
1616
"package.json"
1717
],
1818
"dependencies": {
19-
"purescript-prelude": "^4.0.0"
19+
"purescript-prelude": "^4.0.0",
20+
"purescript-newtype": "^3.0.0"
2021
},
2122
"devDependencies": {
2223
"purescript-effect": "^2.0.0"

src/Data/Monoid/Alternate.purs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ import Prelude
55
import Control.Alternative (class Alt, class Plus, class Alternative, empty, (<|>))
66
import Control.Comonad (class Comonad, class Extend)
77
import Data.Eq (class Eq1)
8+
import Data.Newtype (class Newtype)
89
import Data.Ord (class Ord1)
910

1011
-- | Monoid and semigroup instances corresponding to `Plus` and `Alt` instances
@@ -16,6 +17,8 @@ import Data.Ord (class Ord1)
1617
-- | ```
1718
newtype Alternate f a = Alternate (f a)
1819

20+
derive instance newtypeAlternate :: Newtype (Alternate f a) _
21+
1922
derive newtype instance eqAlternate :: Eq (f a) => Eq (Alternate f a)
2023

2124
derive newtype instance eq1Alternate :: Eq1 f => Eq1 (Alternate f)

0 commit comments

Comments
 (0)