Safe Haskell	None
Language	Haskell2010

Control.Monad.IO.Class.Linear

Synopsis

class Monad m => MonadIO (m :: Type -> Type) where
- liftIO :: IO a %1 -> m a
- liftSystemIO :: IO a -> m a
- liftSystemIOU :: IO a -> m (Ur a)

Documentation

class Monad m => MonadIO (m :: Type -> Type) where Source #

Like MonadIO but allows to lift both linear and non-linear IO actions into a linear monad.

Minimal complete definition

Methods

liftIO :: IO a %1 -> m a Source #

Instances details

MonadIO IO Source #
Instance details Defined in Control.Monad.IO.Class.Linear Methods liftIO :: IO a %1 -> IO a Source # liftSystemIO :: IO a -> IO a Source # liftSystemIOU :: IO a -> IO (Ur a) Source #
MonadIO RIO Source #
Instance details Defined in Control.Monad.IO.Class.Linear Methods liftIO :: IO a %1 -> RIO a Source # liftSystemIO :: IO a -> RIO a Source # liftSystemIOU :: IO a -> RIO (Ur a) Source #
(MonadIO m, Dupable r) => MonadIO (ReaderT r m) Source #
Instance details Defined in Control.Monad.IO.Class.Linear Methods liftIO :: IO a %1 -> ReaderT r m a Source # liftSystemIO :: IO a -> ReaderT r m a Source # liftSystemIOU :: IO a -> ReaderT r m (Ur a) Source #
MonadIO m => MonadIO (StateT s m) Source #
Instance details Defined in Control.Monad.IO.Class.Linear Methods liftIO :: IO a %1 -> StateT s m a Source # liftSystemIO :: IO a -> StateT s m a Source # liftSystemIOU :: IO a -> StateT s m (Ur a) Source #