Base Effectful.Exception on Control.Exception (#257)

* Base Effectful.Exception on Control.Exception * Add catchIf/handleIf/tryIf * Review fixes * Simplify the top section * Adjustment * More adjustments
haskell-effectful · Oct 17, 2024 · 5f7a925 · 5f7a925
1 parent 5bda849
commit 5f7a925
Show file tree

Hide file tree

Showing 6 changed files with 527 additions and 75 deletions.
diff --git a/effectful-core/CHANGELOG.md b/effectful-core/CHANGELOG.md
@@ -4,8 +4,11 @@
 * **Bugfixes**:
   - `OnEmptyRollback` strategy of the `NonDet` effect is no longer broken.
 * **Breaking changes**:
-  - Removed `restoreEnv` function from `Effectful.Dispatch.Static.Primitive`
+  - Remove `restoreEnv` function from `Effectful.Dispatch.Static.Primitive`
     since it was broken.
+  - Base `Effectful.Exception` on `Control.Exception` instead of the
+    `safe-exceptions` library for consistency with provided `MonadThrow` and
+    `MonadCatch` instances.
 
 # effectful-core-2.4.0.0 (2024-10-08)
 * Add utility functions for handling effects that take the effect handler as the

diff --git a/effectful-core/effectful-core.cabal b/effectful-core/effectful-core.cabal
@@ -72,7 +72,6 @@ library
                     , exceptions          >= 0.10.4
                     , monad-control       >= 1.0.3
                     , primitive           >= 0.7.3.0
-                    , safe-exceptions     >= 0.1.7.2
                     , strict-mutable-base >= 1.1.0.0
                     , transformers-base   >= 0.4.6
                     , unliftio-core       >= 0.2.0.1