module Control.Monad.Trans.Rerunnable (
MonadRerunnableTrans (..),
) where
import Control.Monad.Trans.Class (lift)
import qualified Control.Monad.Trans.Except as Except
import qualified Control.Monad.Trans.Identity as Identity
import qualified Control.Monad.Trans.Maybe as Maybe
import qualified Control.Monad.Trans.RWS.Lazy as RWS.Lazy
import qualified Control.Monad.Trans.RWS.Strict as RWS.Strict
import qualified Control.Monad.Trans.Reader as Reader
import qualified Control.Monad.Trans.Resource as Resource
import qualified Control.Monad.Trans.State.Lazy as State.Lazy
import qualified Control.Monad.Trans.State.Strict as State.Strict
import qualified Control.Monad.Trans.Writer.Lazy as Writer.Lazy
import qualified Control.Monad.Trans.Writer.Strict as Writer.Strict
class MonadRerunnableTrans t where
rerunnableLift :: (Monad m) => m a -> t m a
instance MonadRerunnableTrans (Reader.ReaderT r) where
rerunnableLift :: forall (m :: * -> *) a. Monad m => m a -> ReaderT r m a
rerunnableLift = forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift
instance MonadRerunnableTrans (Except.ExceptT e) where
rerunnableLift :: forall (m :: * -> *) a. Monad m => m a -> ExceptT e m a
rerunnableLift = forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift
instance MonadRerunnableTrans Identity.IdentityT where
rerunnableLift :: forall (m :: * -> *) a. Monad m => m a -> IdentityT m a
rerunnableLift = forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift
instance MonadRerunnableTrans Maybe.MaybeT where
rerunnableLift :: forall (m :: * -> *) a. Monad m => m a -> MaybeT m a
rerunnableLift = forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift
instance (Monoid w) => MonadRerunnableTrans (RWS.Lazy.RWST r w s) where
rerunnableLift :: forall (m :: * -> *) a. Monad m => m a -> RWST r w s m a
rerunnableLift = forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift
instance (Monoid w) => MonadRerunnableTrans (RWS.Strict.RWST r w s) where
rerunnableLift :: forall (m :: * -> *) a. Monad m => m a -> RWST r w s m a
rerunnableLift = forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift
instance MonadRerunnableTrans (State.Lazy.StateT s) where
rerunnableLift :: forall (m :: * -> *) a. Monad m => m a -> StateT s m a
rerunnableLift = forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift
instance MonadRerunnableTrans (State.Strict.StateT s) where
rerunnableLift :: forall (m :: * -> *) a. Monad m => m a -> StateT s m a
rerunnableLift = forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift
instance (Monoid w) => MonadRerunnableTrans (Writer.Lazy.WriterT w) where
rerunnableLift :: forall (m :: * -> *) a. Monad m => m a -> WriterT w m a
rerunnableLift = forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift
instance (Monoid w) => MonadRerunnableTrans (Writer.Strict.WriterT w) where
rerunnableLift :: forall (m :: * -> *) a. Monad m => m a -> WriterT w m a
rerunnableLift = forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift
instance MonadRerunnableTrans Resource.ResourceT where
rerunnableLift :: forall (m :: * -> *) a. Monad m => m a -> ResourceT m a
rerunnableLift = forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift