Add instance Handle IOE

tomjaguarpaw · Oct 16, 2024 · 8c457fc · 8c457fc
1 parent 3aec4cd
commit 8c457fc
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/bluefin-internal/src/Bluefin/Internal.hs b/bluefin-internal/src/Bluefin/Internal.hs
@@ -355,6 +355,9 @@ instance Handle (Coroutine a b) where
 instance Handle (Writer w) where
   mapHandle (Writer wr) = Writer (mapHandle wr)
 
+instance Handle IOE where
+  mapHandle MkIOE = MkIOE
+
 newtype In (a :: Effects) (b :: Effects) = In# (# #)
 
 merge :: (# #) -> (a :& a) `In` a