diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 43d2897..c69237a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -13,10 +13,12 @@ jobs: - uses: actions/checkout@v2 - uses: purescript-contrib/setup-purescript@main + with: + purescript: "unstable" - - uses: actions/setup-node@v1 + - uses: actions/setup-node@v2 with: - node-version: "12" + node-version: "14.x" - name: Install dependencies run: | diff --git a/CHANGELOG.md b/CHANGELOG.md index 3f75361..fb717fc 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -6,6 +6,18 @@ Notable changes to this project are documented in this file. The format is based Breaking changes: +New features: + +Bugfixes: + +Other improvements: + +## [v6.0.0](https://github.com/purescript/purescript-maybe/releases/tag/v6.0.0) - 2022-04-27 + +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) diff --git a/bower.json b/bower.json index 3540267..a2ab363 100644 --- a/bower.json +++ b/bower.json @@ -16,9 +16,9 @@ "package.json" ], "dependencies": { - "purescript-control": "^5.0.0", - "purescript-invariant": "^5.0.0", - "purescript-newtype": "^4.0.0", - "purescript-prelude": "^5.0.0" + "purescript-control": "^6.0.0", + "purescript-invariant": "^6.0.0", + "purescript-newtype": "^5.0.0", + "purescript-prelude": "^6.0.0" } } diff --git a/package.json b/package.json index b81b437..3e28704 100644 --- a/package.json +++ b/package.json @@ -2,11 +2,11 @@ "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": "^15.0.0", - "purescript-psa": "^0.8.0", + "pulp": "16.0.0-0", + "purescript-psa": "^0.8.2", "rimraf": "^3.0.2" } } 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