git.iko.soy/effectful
on master help sign in
unsafeUnliftIO doesn't need a HasCallStack
98f6db5Andrzej Rybczak
effectful-core/src/Effectful/Dispatch/Static.hs+1−6
compare with master
unifiedsplit
@@ -50,8 +50,6 @@ module Effectful.Dispatch.Static
50 , unEff
50 , unEff
51 ) where
51 ) where
52
52
53−import GHC.Stack (HasCallStack)
54−
55import Effectful.Internal.Effect
53import Effectful.Internal.Effect
56import Effectful.Internal.Env
54import Effectful.Internal.Env
57import Effectful.Internal.Monad
55import Effectful.Internal.Monad
@@ -83,8 +81,5 @@ unsafeLiftMapIO f m = unsafeEff $ \es -> f (unEff m es)
83--
81--
84-- - Unlifted 'Eff' operations must not be run in a thread distinct from the
82-- - Unlifted 'Eff' operations must not be run in a thread distinct from the
85-- caller of 'unsafeUnliftIO', but it's not checked anywhere.
83-- caller of 'unsafeUnliftIO', but it's not checked anywhere.
86−unsafeUnliftIO
87− :: HasCallStack
88− => ((forall r. Eff es r -> IO r) -> IO a)
84+unsafeUnliftIO :: ((forall r. Eff es r -> IO r) -> IO a) -> Eff es a
89− -> Eff es a
90unsafeUnliftIO k = unsafeEff $ \es -> k (`unEff` es)
85unsafeUnliftIO k = unsafeEff $ \es -> k (`unEff` es)