dropMonadZero (#61)

* Stop censoring udw

* Drop MonadZero

* Added changelog entry

Author: JordanMartinez

CHANGELOG.md

@@ -6,6 +6,7 @@ Notable changes to this project are documented in this file. The format is based
 
 Breaking changes:
 - Update project and deps to PureScript v0.15.0 (#60 by @JordanMartinez)
+- Drop deprecated `MonadZero` instance (#61 by @JordanMartinez)
 
 New features:
 - Added `Semiring` instance (#59)

package.json

@@ -2,7 +2,7 @@
   "private": true,
   "scripts": {
     "clean": "rimraf output && rimraf .pulp-cache",
-    "build": "pulp build -- --censor-lib --strict --censor-codes='UserDefinedWarning'"
+    "build": "pulp build -- --censor-lib --strict"
   },
   "devDependencies": {
     "pulp": "16.0.0-0",

src/Data/Maybe.purs

@@ -5,7 +5,6 @@ import Prelude
 import Control.Alt (class Alt, (<|>))
 import Control.Alternative (class Alternative)
 import Control.Extend (class Extend)
-import Control.MonadZero (class MonadZero)
 import Control.Plus (class Plus)
 
 import Data.Eq (class Eq1)
@@ -154,8 +153,6 @@ instance bindMaybe :: Bind Maybe where
 -- | ```
 instance monadMaybe :: Monad Maybe
 
-instance monadZeroMaybe :: MonadZero Maybe
-
 -- | The `Extend` instance allows sequencing of `Maybe` values and functions
 -- | that accept a `Maybe a` and return a non-`Maybe` result using the
 -- | `<<=` operator.

src/Data/Maybe/First.purs

@@ -2,8 +2,11 @@ module Data.Maybe.First where
 
 import Prelude
 
+import Control.Alt (class Alt)
+import Control.Alternative (class Alternative)
 import Control.Extend (class Extend)
-import Control.MonadZero (class MonadZero, class Alternative, class Plus, class Alt)
+import Control.Plus (class Plus)
+
 import Data.Eq (class Eq1)
 import Data.Functor.Invariant (class Invariant)
 import Data.Maybe (Maybe(..))
@@ -63,5 +66,3 @@ instance plusFirst :: Plus First where
   empty = mempty
 
 instance alternativeFirst :: Alternative First
-
-instance monadZeroFirst :: MonadZero First

src/Data/Maybe/Last.purs

@@ -2,8 +2,10 @@ module Data.Maybe.Last where
 
 import Prelude
 
+import Control.Alt (class Alt)
+import Control.Alternative (class Alternative)
 import Control.Extend (class Extend)
-import Control.MonadZero (class MonadZero, class Alternative, class Plus, class Alt)
+import Control.Plus (class Plus)
 import Data.Eq (class Eq1)
 import Data.Functor.Invariant (class Invariant)
 import Data.Maybe (Maybe(..))
@@ -63,5 +65,3 @@ instance plusLast :: Plus Last where
   empty = mempty
 
 instance alternativeLast :: Alternative Last
-
-instance monadZeroLast :: MonadZero Last