
3 Mar
2013
3 Mar
'13
11:48 a.m.
On Sunday 03 March 2013 17:07:18 Ertugrul Söylemez wrote:
Would anyone have a problem with a deprecation of MonadCatchIO-transformers, and a failure to update it to work with a base without 'block' and 'unblock'?
Yes. This is a simplified variant of a monad I use:
newtype Continue f m a = Continue (m (Maybe a, f (Continue f a)))
It's related to Cofree and has a valid and very straightforward MonadCatchIO instance. However, it's probably impossible to write a valid MonadTransControl/MonadBaseControl instance for it.
Is it possibly to write the equivalent of Control.Exception.mask for it? That would be the first candidate for replacing block and unblock in the MonadCatchIO class. Regards, Arie