Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Monad.IO.Class.Linear

Synopsis

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

Documentation

class Monad m => MonadIO m 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 :: IO0 a -> IO a Source # liftSystemIOU :: IO0 a -> IO (Ur a) Source #