extensible-effects 1.10.0.1 → 1.11.0.0
raw patch · 3 files changed
+5/−3 lines, 3 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
- Control.Eff.Lift: runLift :: (Monad m, Typeable m) => Eff (Lift m :> ()) w -> m w
+ Control.Eff.Lift: runLift :: (Monad m, Typeable m) => Eff (Lift m :> Void) w -> m w
- Control.Eff.Trace: runTrace :: Eff (Trace :> ()) w -> IO w
+ Control.Eff.Trace: runTrace :: Eff (Trace :> Void) w -> IO w
Files
- extensible-effects.cabal +1/−1
- src/Control/Eff/Lift.hs +2/−1
- src/Control/Eff/Trace.hs +2/−1
extensible-effects.cabal view
@@ -6,7 +6,7 @@ -- PVP summary: +-+------- breaking API changes -- | | +----- non-breaking API additions -- | | | +--- code changes with no API change-version: 1.10.0.1+version: 1.11.0.0 -- A short (one-line) description of the package. synopsis: An Alternative to Monad Transformers
src/Control/Eff/Lift.hs view
@@ -25,6 +25,7 @@ import Control.Monad.Base import Control.Monad.IO.Class (MonadIO (..)) import Data.Typeable+import Data.Void #if __GLASGOW_HASKELL__ >= 708 #define Typeable1 Typeable@@ -59,7 +60,7 @@ -- | The handler of Lift requests. It is meant to be terminal: -- we only allow a single Lifted Monad.-runLift :: (Monad m, Typeable1 m) => Eff (Lift m :> ()) w -> m w+runLift :: (Monad m, Typeable1 m) => Eff (Lift m :> Void) w -> m w runLift = loop where loop = freeMap
src/Control/Eff/Trace.hs view
@@ -10,6 +10,7 @@ ) where import Data.Typeable+import Data.Void import Control.Eff @@ -22,7 +23,7 @@ trace x = send . inj $ Trace x id -- | Run a computation producing Traces.-runTrace :: Eff (Trace :> ()) w -> IO w+runTrace :: Eff (Trace :> Void) w -> IO w runTrace = loop where loop = freeMap