on master help sign in
Remove unused unsafeUnliftToEff
commit8343e2e21a7d8598a9bc931ec33df0a8a209f586 authorAndrzej Rybczak <andrzej@rybczak.net> dateSat 27 Nov 2021, 15:00 (5 years ago) parent9abb6b7
1 file changed−10
effectful-core/src/Effectful/Internal/Monad.hs−10
effectful-core/src/Effectful/Internal/Monad.hs−10
@@ -37,7 +37,6 @@ module Effectful.Internal.Monad
3737
3838 --- *** Low-level helpers
3939 , unsafeLiftMapIO
40− , unsafeUnliftToEff
4140 , seqUnliftEff
4241 , concUnliftEff
4342
@@ -218,15 +217,6 @@ withEffToIO f = unliftStrategy >>= \case
218217 ConcUnlift p b -> withUnliftStrategy SeqUnlift $ do
219218 unsafeEff $ \es -> concUnliftEff es p b f
220219
221−-- | An unlifing function that lifts a function and its callback from 'IO' to
222−-- 'Eff'.
223−--
224−-- This function is unsafe since there are no checks wrt. to concurrency at all.
225−-- Use with care.
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)
229−
230220----------------------------------------
231221-- Base
232222