diff --git a/effectful-core/CHANGELOG.md b/effectful-core/CHANGELOG.md index 345a90b..23dd20a 100644 --- a/effectful-core/CHANGELOG.md +++ b/effectful-core/CHANGELOG.md @@ -1,3 +1,7 @@ +# effectful-core-2.6.0.0 (????-??-??) +* **Breaking changes**: + - Change the order of type parameters in `raise` for better usability. + # effectful-core-2.5.1.0 (2024-11-27) * Add `passthrough` to `Effectful.Dispatch.Dynamic` for passing operations to the upstream handler within `interpose` and `impose` without having to fully diff --git a/effectful-core/effectful-core.cabal b/effectful-core/effectful-core.cabal index 95ba48d..48d7fff 100644 --- a/effectful-core/effectful-core.cabal +++ b/effectful-core/effectful-core.cabal @@ -1,7 +1,7 @@ cabal-version: 3.0 build-type: Simple name: effectful-core -version: 2.5.1.0 +version: 2.6.0.0 license: BSD-3-Clause license-file: LICENSE category: Control diff --git a/effectful-core/src/Effectful/Internal/Monad.hs b/effectful-core/src/Effectful/Internal/Monad.hs index 414ee05..3b7f6ae 100644 --- a/effectful-core/src/Effectful/Internal/Monad.hs +++ b/effectful-core/src/Effectful/Internal/Monad.hs @@ -418,7 +418,7 @@ instance Prim :> es => PrimMonad (Eff es) where -- Lifting -- | Lift an 'Eff' computation into an effect stack with one more effect. -raise :: Eff es a -> Eff (e : es) a +raise :: forall e es a. Eff es a -> Eff (e : es) a raise m = unsafeEff $ \es -> unEff m =<< tailEnv es -- | Lift an 'Eff' computation into an effect stack with one more effect and diff --git a/effectful/CHANGELOG.md b/effectful/CHANGELOG.md index 37e0db7..7a56caf 100644 --- a/effectful/CHANGELOG.md +++ b/effectful/CHANGELOG.md @@ -1,3 +1,7 @@ +# effectful-core-2.6.0.0 (????-??-??) +* **Breaking changes**: + - Change the order of type parameters in `raise` for better usability. + # effectful-2.5.1.0 (2024-11-27) * Add `passthrough` to `Effectful.Dispatch.Dynamic` for passing operations to the upstream handler within `interpose` and `impose` without having to fully diff --git a/effectful/effectful.cabal b/effectful/effectful.cabal index 8c6f889..388e6c1 100644 --- a/effectful/effectful.cabal +++ b/effectful/effectful.cabal @@ -1,7 +1,7 @@ cabal-version: 3.0 build-type: Simple name: effectful -version: 2.5.1.0 +version: 2.6.0.0 license: BSD-3-Clause license-file: LICENSE category: Control @@ -74,7 +74,7 @@ library , async >= 2.2.2 , bytestring >= 0.10 , directory >= 1.3.2 - , effectful-core >= 2.5.1.0 && < 2.5.2.0 + , effectful-core >= 2.6.0.0 && < 2.6.1.0 , process >= 1.6.9 , strict-mutable-base >= 1.1.0.0 , time >= 1.9.2