Control.Monad.IO.Rerunnable

Defines the MonadRerunnableIO type class that is functionally equivalent to MonadIO, but use of it requires the user to explicitly acknowledge that the given IO operation can be rerun.

Documentation

class Monad m => MonadRerunnableIO m where

A copy of MonadIO to explicitly allow only IO operations that are rerunnable, e.g. in the context of a SQL transaction.

Methods

rerunnableIO :: IO a -> m a

Lift the given IO operation to m.

The given IO operation may be rerun, so use of this function requires manually verifying that the given IO operation is rerunnable.

Instances

MonadRerunnableIO IO

Defined in Control.Monad.IO.Rerunnable

Methods

rerunnableIO :: IO a -> IO a

MonadRerunnableIO m => MonadRerunnableIO (MaybeT m)

Defined in Control.Monad.IO.Rerunnable

Methods

rerunnableIO :: IO a -> MaybeT m a

MonadRerunnableIO m => MonadRerunnableIO (ResourceT m)

Defined in Control.Monad.IO.Rerunnable

Methods

rerunnableIO :: IO a -> ResourceT m a

MonadRerunnableIO m => MonadRerunnableIO (SqlQueryT m)

Defined in Database.Persist.Monad

Methods

rerunnableIO :: IO a -> SqlQueryT m a

MonadRerunnableIO m => MonadRerunnableIO (SqlTransaction m)

Defined in Database.Persist.Monad

Methods

rerunnableIO :: IO a -> SqlTransaction m a

MonadRerunnableIO m => MonadRerunnableIO (IdentityT m)

Defined in Control.Monad.IO.Rerunnable

Methods

rerunnableIO :: IO a -> IdentityT m a

(Monoid w, MonadRerunnableIO m) => MonadRerunnableIO (WriterT w m)

Defined in Control.Monad.IO.Rerunnable

Methods

rerunnableIO :: IO a -> WriterT w m a

(Monoid w, MonadRerunnableIO m) => MonadRerunnableIO (WriterT w m)

Defined in Control.Monad.IO.Rerunnable

Methods

rerunnableIO :: IO a -> WriterT w m a

MonadRerunnableIO m => MonadRerunnableIO (StateT s m)

Defined in Control.Monad.IO.Rerunnable

Methods

rerunnableIO :: IO a -> StateT s m a

MonadRerunnableIO m => MonadRerunnableIO (StateT s m)

Defined in Control.Monad.IO.Rerunnable

Methods

rerunnableIO :: IO a -> StateT s m a

MonadRerunnableIO m => MonadRerunnableIO (ReaderT r m)

Defined in Control.Monad.IO.Rerunnable

Methods

rerunnableIO :: IO a -> ReaderT r m a

MonadRerunnableIO m => MonadRerunnableIO (ExceptT e m)

Defined in Control.Monad.IO.Rerunnable

Methods

rerunnableIO :: IO a -> ExceptT e m a

(Monoid w, MonadRerunnableIO m) => MonadRerunnableIO (RWST r w s m)

Defined in Control.Monad.IO.Rerunnable

Methods

rerunnableIO :: IO a -> RWST r w s m a

(Monoid w, MonadRerunnableIO m) => MonadRerunnableIO (RWST r w s m)

Defined in Control.Monad.IO.Rerunnable

Methods

rerunnableIO :: IO a -> RWST r w s m a