From ca72484f73fe850aa73f6f0a50f476c9f83433cf Mon Sep 17 00:00:00 2001 From: Jordan Martinez Date: Wed, 16 Mar 2022 16:04:12 -0500 Subject: [PATCH 1/3] Stop censoring udw --- package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.json b/package.json index bbfb95a..3e28704 100644 --- a/package.json +++ b/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", From 150c933b4ca84ddd2d11ae97fa3d07289114653c Mon Sep 17 00:00:00 2001 From: Jordan Martinez Date: Wed, 16 Mar 2022 16:06:19 -0500 Subject: [PATCH 2/3] Drop MonadZero --- src/Data/Maybe.purs | 3 --- src/Data/Maybe/First.purs | 7 ++++--- src/Data/Maybe/Last.purs | 6 +++--- 3 files changed, 7 insertions(+), 9 deletions(-) diff --git a/src/Data/Maybe.purs b/src/Data/Maybe.purs index 9c80c05..743279b 100644 --- a/src/Data/Maybe.purs +++ b/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. diff --git a/src/Data/Maybe/First.purs b/src/Data/Maybe/First.purs index d99f96e..2641c5c 100644 --- a/src/Data/Maybe/First.purs +++ b/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 diff --git a/src/Data/Maybe/Last.purs b/src/Data/Maybe/Last.purs index 8aa6157..b70502c 100644 --- a/src/Data/Maybe/Last.purs +++ b/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 From 027753a1d08d7dd1244f430bf94467cd64fe4357 Mon Sep 17 00:00:00 2001 From: Jordan Martinez Date: Wed, 16 Mar 2022 16:07:21 -0500 Subject: [PATCH 3/3] Added changelog entry --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index ca0bb99..5a6fd64 100644 --- a/CHANGELOG.md +++ b/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)