Control.Monad.WrapIO

Documentation

class Monad m => MonadWrapIO m a r | m a -> r where

MonadWrapIO is analogous to MonadWrap, but where the wrapping function is always of type IO r -> IO r. The point of MonadWrapIO is to go through as many nested monad transformers as necessary to reach the IO monad, so you don't have to keep track of where you are in terms of monad nesting depth.

Methods

wrapIO :: (IO r -> IO r) -> m a -> m a

wrapIO is to wrap as liftIO is to lift.

resultFIO :: m (a -> r)

resultFIO is to resultF as liftIO is to lift.

resultIO :: a -> m r

resultIO is to result as liftIO is to lift.

Instances

MonadWrapIO IO a a

(Monad m, MonadTrans t, Monad (t m), MonadWrapIO m ar r, MonadWrap t a ar) => MonadWrapIO (t m) a r