Tidy EarlyReturn

tomjaguarpaw · Jan 29, 2024 · 450ffeb · 450ffeb
1 parent a6d5687
commit 450ffeb
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/bluefin-internal/src/Bluefin/Internal.hs b/bluefin-internal/src/Bluefin/Internal.hs
@@ -232,12 +232,17 @@ handleException' h f = do
 type EarlyReturn = Exception
 
 withEarlyReturn ::
- (forall ex. EarlyReturn r ex -> Eff (ex :& effs) r) ->
+ (forall er. EarlyReturn r er -> Eff (er :& effs) r) ->
  -- | ͘
  Eff effs r
 withEarlyReturn = handleException' id
 
-earlyReturn :: (ex :> effs) => EarlyReturn r ex -> r -> Eff effs a
+earlyReturn ::
+ (er :> effs) =>
+ EarlyReturn r er ->
+ r ->
+ -- | ͘
+ Eff effs a
 earlyReturn = throw
 
 evalState ::

diff --git a/bluefin/src/Bluefin/EarlyReturn.hs b/bluefin/src/Bluefin/EarlyReturn.hs
@@ -1,5 +1,6 @@
 module Bluefin.EarlyReturn
  ( EarlyReturn,
+ withEarlyReturn,
  earlyReturn,
  )
 where