extensible-effects 2.6.0.3 → 2.6.1.0
raw patch · 2 files changed
+1/−6 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
extensible-effects.cabal view
@@ -6,7 +6,7 @@ -- PVP summary: +-+------- breaking API changes -- | | +----- non-breaking API additions -- | | | +--- code changes with no API change-version: 2.6.0.3+version: 2.6.1.0 -- A short (one-line) description of the package. synopsis: An Alternative to Monad Transformers
src/Control/Eff/Choose.hs view
@@ -6,7 +6,6 @@ {-# LANGUAGE RankNTypes #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE Safe #-}-{-# LANGUAGE CPP #-} -- The following is needed to define MonadPlus instance. It is decidable -- (there is no recursion!), but GHC cannot see that. {-# LANGUAGE UndecidableInstances #-}@@ -21,9 +20,7 @@ import Control.Eff.Internal import Data.OpenUnion-#if __GLASGOW_HASKELL__ > 708 import Control.Applicative-#endif import Control.Monad import Control.Monad.Base import Control.Monad.Trans.Control@@ -61,7 +58,6 @@ mplus' :: Member Choose r => Eff r a -> Eff r a -> Eff r a mplus' m1 m2 = join $ choose [m1,m2] -#if __GLASGOW_HASKELL__ > 708 -- | MonadPlus-like operators are expressible via choose instance Member Choose r => Alternative (Eff r) where empty = mzero'@@ -70,7 +66,6 @@ instance Member Choose r => MonadPlus (Eff r) where mzero = empty mplus = (<|>)-#endif -- | Run a nondeterministic effect, returning all values. makeChoice :: forall a r. Eff (Choose ': r) a -> Eff r [a]