on master help sign in
Simplify mask/uninterruptibleMask
commit3d8ef6cd9c6cbade005d95d985243640f57a1923 authorAndrzej Rybczak <andrzej@rybczak.net> dateSun 13 Jun 2021, 21:46 (5 years ago) parentba64561
1 file changed+2−2
src/Effectful/Internal/Monad.hs+2−2
src/Effectful/Internal/Monad.hs+2−2
@@ -82,10 +82,10 @@ instance MonadCatch (Eff es) where
8282
8383instance MonadMask (Eff es) where
8484 mask k = impureEff $ \es -> mask $ \restore ->
85− unEff (k $ (\f (Eff m) -> impureEff $ f . m) restore) es
85+ unEff (k $ \(Eff m) -> impureEff $ restore . m) es
8686
8787 uninterruptibleMask k = impureEff $ \es -> uninterruptibleMask $ \restore ->
88− unEff (k $ (\f (Eff m) -> impureEff $ f . m) restore) es
88+ unEff (k $ \(Eff m) -> impureEff $ restore . m) es
8989
9090 generalBracket acquire release use = impureEff $ \es -> mask $ \restore -> do
9191 size <- sizeEnv es