monad-control-identity-0.1.0.3: Stronger classes than monad-control

Safe HaskellSafe
LanguageHaskell2010

Control.Monad.Trans.Control.Functor

Synopsis

Documentation

class MonadTransControlIdentity t => MonadTransFunctor t where Source #

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

Methods

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

Instances
MonadTransFunctor (IdentityT :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Control.Monad.Trans.Control.Functor

Methods

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

MonadTransFunctor (ReaderT r :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Control.Monad.Trans.Control.Functor

Methods

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

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

Lift the inner monad of a monad transformer from the base monad.