Skip to content

Commit 26a83cf

Browse files
Delete unlawful MonadPlus instance
Fixes #95.
1 parent 1485978 commit 26a83cf

File tree

2 files changed

+1
-4
lines changed

2 files changed

+1
-4
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,7 @@ deleteBlankLines path = do
4040

4141
This looks like ordinary, synchronous, imperative code, but actually operates asynchronously without any callbacks. Error handling is baked in so you only deal with it when you want to.
4242

43-
The library contains instances for `Semigroup`, `Monoid`, `Apply`, `Applicative`, `Bind`, `Monad`, `Alt`, `Plus`, `MonadPlus`, `MonadEff`, and `MonadError`. These instances allow you to compose asynchronous code as easily as `Eff`, as well as interop with existing `Eff` code.
43+
The library contains instances for `Semigroup`, `Monoid`, `Apply`, `Applicative`, `Bind`, `Monad`, `Alt`, `Plus`, `MonadEff`, and `MonadError`. These instances allow you to compose asynchronous code as easily as `Eff`, as well as interop with existing `Eff` code.
4444

4545
## Escaping Callback Hell
4646

src/Control/Monad/Aff.purs

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,6 @@ import Control.Monad.Eff.Class (class MonadEff)
2929
import Control.Monad.Eff.Exception (Error, EXCEPTION, throwException, error)
3030
import Control.Monad.Error.Class (class MonadThrow, class MonadError, throwError)
3131
import Control.Monad.Rec.Class (class MonadRec, Step(..))
32-
import Control.MonadPlus (class MonadZero, class MonadPlus)
3332
import Control.Parallel (class Parallel)
3433
import Control.Plus (class Plus, empty)
3534

@@ -198,8 +197,6 @@ instance alternativeAff :: Alternative (Aff e)
198197

199198
instance monadZero :: MonadZero (Aff e)
200199

201-
instance monadPlusAff :: MonadPlus (Aff e)
202-
203200
instance monadRecAff :: MonadRec (Aff e) where
204201
tailRecM f a = runFn3 _tailRecM isLoop f a
205202
where

0 commit comments

Comments
 (0)