Skip to content

Commit c7e482d

Browse files
Drop MonadZero instance (#122)
* Drop MonadZero instance * Drop udw censoring * Add changelog entry
1 parent 5ca4857 commit c7e482d

File tree

3 files changed

+3
-4
lines changed

3 files changed

+3
-4
lines changed

CHANGELOG.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@ Notable changes to this project are documented in this file. The format is based
66

77
Breaking changes:
88
- Update project and deps to PureScript v0.15.0 (#123 by @JordanMartinez)
9+
- Drop deprecated `MonadZero` instance (#122 by @JordanMartinez)
910

1011
New features:
1112

package.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
"private": true,
33
"scripts": {
44
"clean": "rimraf output && rimraf .pulp-cache",
5-
"build": "pulp build -- --censor-lib --strict --censor-codes='UserDefinedWarning'",
5+
"build": "pulp build -- --censor-lib --strict",
66
"build:benchmark": "pulp build --main 'Benchmark.Main' --include './benchmark' -- --censor-lib --strict",
77
"test": "pulp test",
88
"test:benchmark": "node -e \"require('./output/Benchmark.Main').main()\""

src/Data/Coyoneda.purs

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ import Control.Alternative (class Alternative, class Plus, empty)
1515
import Control.Comonad (class Comonad, extract)
1616
import Control.Extend (class Extend, (<<=))
1717
import Control.Monad.Trans.Class (class MonadTrans)
18-
import Control.MonadPlus (class MonadPlus, class MonadZero)
18+
import Control.MonadPlus (class MonadPlus)
1919
import Data.Distributive (class Distributive, collect)
2020
import Data.Eq (class Eq1, eq1)
2121
import Data.Exists (Exists, runExists, mkExists)
@@ -97,8 +97,6 @@ instance monadCoyoneda :: Monad f => Monad (Coyoneda f)
9797
instance monadTransCoyoneda :: MonadTrans Coyoneda where
9898
lift = liftCoyoneda
9999

100-
instance monadZeroCoyoneda :: MonadZero f => MonadZero (Coyoneda f)
101-
102100
instance monadPlusCoyoneda :: MonadPlus f => MonadPlus (Coyoneda f)
103101

104102
instance extendCoyoneda :: Extend w => Extend (Coyoneda w) where

0 commit comments

Comments
 (0)