Open KingoftheHomeless opened 4 years ago
If we figure out https://github.com/polysemy-research/polysemy/issues/304, and implement the Mask
effect described there, we can also do:
absorbMask
:: Member (Mask s) r
=> (MonadMask (Sem r) => Sem r a)
-> Sem r a
A
MonadMask
constraint absorber with the following type signature:Should be possible by lifting
uninterruptible
/Mask
à la https://github.com/polysemy-research/polysemy/issues/135#issuecomment-530367719 and liftinggeneralBracket
through the following: