Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Defines the MonadRerunnableTrans
type class that is functionally equivalent
to MonadTrans
, but use of it requires the user to
explicitly acknowledge that lifting the given action can be rerun.
Synopsis
- class MonadRerunnableTrans t where
- rerunnableLift :: Monad m => m a -> t m a
Documentation
class MonadRerunnableTrans t where Source #
A copy of MonadTrans
to explicitly allow only
lifting actions that are rerunnable, e.g. in the context of a SQL transaction.
rerunnableLift :: Monad m => m a -> t m a Source #
Lift the given action.
The given action may be rerun, so use of this function requires manually verifying that the given action is rerunnable.