packages feed

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 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