[Haskell-cafe] Future of MonadCatchIO

[Arie Peterson]

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