Control.Monad.Constrained.IO

This module is a duplication of the Control.Monad.IO.Class module, for constrained monads.

Documentation

class Monad m => MonadIO m where

A class for monads which can have IO actions lifted into them.

Minimal complete definition

liftIO

Associated Types

type SuitableIO m a :: Constraint

Methods

liftIO :: SuitableIO m a => IO a -> m a

Instances

MonadIO IO

Associated Types

type SuitableIO (IO :: * -> *) a :: Constraint

Methods

liftIO :: SuitableIO IO a => IO a -> IO a

(MonadIO m, Monad (Unconstrained m)) => MonadIO (MaybeT m)

Associated Types

type SuitableIO (MaybeT m :: * -> *) a :: Constraint

Methods

liftIO :: SuitableIO (MaybeT m) a => IO a -> MaybeT m a

MonadIO m => MonadIO (IdentityT * m)

Associated Types

type SuitableIO (IdentityT * m :: * -> *) a :: Constraint

Methods

liftIO :: SuitableIO (IdentityT * m) a => IO a -> IdentityT * m a

(MonadIO m, Monad (Unconstrained m)) => MonadIO (StateT s m)

Associated Types

type SuitableIO (StateT s m :: * -> *) a :: Constraint

Methods

liftIO :: SuitableIO (StateT s m) a => IO a -> StateT s m a

(MonadIO m, Monad (Unconstrained m)) => MonadIO (StateT s m)

Associated Types

type SuitableIO (StateT s m :: * -> *) a :: Constraint

Methods

liftIO :: SuitableIO (StateT s m) a => IO a -> StateT s m a

MonadIO m => MonadIO (ContT * r m)

Associated Types

type SuitableIO (ContT * r m :: * -> *) a :: Constraint

Methods

liftIO :: SuitableIO (ContT * r m) a => IO a -> ContT * r m a

MonadIO m => MonadIO (ReaderT * r m)

Associated Types

type SuitableIO (ReaderT * r m :: * -> *) a :: Constraint

Methods

liftIO :: SuitableIO (ReaderT * r m) a => IO a -> ReaderT * r m a