git.iko.soy/effectful
on master help sign in
Simplify mask/uninterruptibleMask
3d8ef6cAndrzej Rybczak
src/Effectful/Internal/Monad.hs+2−2
compare with master
unifiedsplit
@@ -82,10 +82,10 @@ instance MonadCatch (Eff es) where
82
82
83instance MonadMask (Eff es) where
83instance MonadMask (Eff es) where
84 mask k = impureEff $ \es -> mask $ \restore ->
84 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
86
86
87 uninterruptibleMask k = impureEff $ \es -> uninterruptibleMask $ \restore ->
87 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
89
89
90 generalBracket acquire release use = impureEff $ \es -> mask $ \restore -> do
90 generalBracket acquire release use = impureEff $ \es -> mask $ \restore -> do
91 size <- sizeEnv es
91 size <- sizeEnv es