Move MonadIO to base

[Tyson Whitehead]

On April 23, 2010 13:39:36 Anders Kaseorg wrote:
> Yes, just like lift is defined via morph:
>
> liftIO' :: (MonadMorphIO m) => IO a -> m a
> liftIO' m = morphIO $ \down -> m >>= down . return

Thanks.  That make sense.

How about "exposeIO" for a name then?  It references the fact that it exposes 
the underlying IO monad.  Or even "peakIO", "glimpseIO", "teaseIO", or so on, 
as it is not a full exposure, but just enough to apply combinators.

Really though, as you (or someone else) said, it would seem to be a pretty 
basic as useful functionality that any of the monad transfers should expose 
(in this universally quantified way) the monad they are built upon.

Cheers!  -Tyson
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part.
Url : http://www.haskell.org/pipermail/libraries/attachments/20100423/ee53a95c/attachment.bin