Control.Monad.Trans.Control.Functor

Documentation

class MonadTransControlIdentity t => MonadTransFunctor t where

This type class is generalization of functions like mapReaderT and mapIdentityT.

Methods

liftMap :: (m a -> n b) -> t m a -> t n b

Instances

MonadTransFunctor (ReaderT r)

Defined in Control.Monad.Trans.Control.Functor

Methods

liftMap :: (m a -> n b) -> ReaderT r m a -> ReaderT r n b

MonadTransFunctor (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Trans.Control.Functor

Methods

liftMap :: (m a -> n b) -> IdentityT m a -> IdentityT n b

hoistTrans :: (MonadBaseControl b m, MonadBaseControl b (t m), MonadTransFunctor t) => t b a -> t m a