linear-base-0.1.0: Standard library for linear types.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Monad.IO.Class.Linear

Synopsis

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

liftIO

Methods

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

liftSystemIO :: IO a -> m a Source #

liftSystemIOU :: IO a -> m (Ur a) Source #

Instances

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 #