@@ -37,7 +37,6 @@ module Effectful.Internal.Monad
38 --- *** Low-level helpers
38 --- *** Low-level helpers
39 , unsafeLiftMapIO
39 , unsafeLiftMapIO
41 , seqUnliftEff
40 , seqUnliftEff
42 , concUnliftEff
41 , concUnliftEff
@@ -218,15 +217,6 @@ withEffToIO f = unliftStrategy >>= \case
218 ConcUnlift p b -> withUnliftStrategy SeqUnlift $ do
217 ConcUnlift p b -> withUnliftStrategy SeqUnlift $ do
219 unsafeEff $ \es -> concUnliftEff es p b f
218 unsafeEff $ \es -> concUnliftEff es p b f
221−-- | An unlifing function that lifts a function and its callback from 'IO' to
224−-- This function is unsafe since there are no checks wrt. to concurrency at all.
226−unsafeUnliftToEff :: ((a -> IO b) -> IO c) -> (a -> Eff es b) -> Eff es c
227−unsafeUnliftToEff k f = unsafeEff $ \es -> do
228− k ((`unEff` es) . f)
230----------------------------------------
220----------------------------------------