Control.Monad.IO.Class.Linear

Documentation

class Monad m => MonadIO m where

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

liftSystemIO :: IO a -> m a

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

Instances

MonadIO IO

Defined in Control.Monad.IO.Class.Linear

Methods

liftIO :: IO a %1 -> IO a

liftSystemIO :: IO0 a -> IO a

liftSystemIOU :: IO0 a -> IO (Ur a)