runBluefin and runPureBluefin

tomjaguarpaw · Sep 8, 2024 · 97cd74b · 97cd74b
1 parent f0fec4e
commit 97cd74b
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/bluefin-internal/src/Bluefin/Internal/Effectful.hs b/bluefin-internal/src/Bluefin/Internal/Effectful.hs
@@ -87,6 +87,17 @@ runPureEffectful ::
   Eff es r
 runPureEffectful k = pure (Effectful.runPureEff (unsafeToEffectful k))
 
+runBluefin ::
+  Effectful.IOE Effectful.:> effes =>
+  (forall e es. IOE e -> Effectful.Eff (Bluefin (e :& es) : effes) r) ->
+  Effectful.Eff effes r
+runBluefin m = unsafeInterpretBluefin (m MkIOE)
+
+runPureBluefin ::
+  (forall es. Effectful.Eff (Bluefin es : effes) r) ->
+  Effectful.Eff effes r
+runPureBluefin = unsafeInterpretBluefin
+
 example ::
   ( St.State Int Effectful.:> es,
     Er.Error String Effectful.:> es,