| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Control.Monad.Trans.Control.Functor
Synopsis
- class MonadTransControlIdentity t => MonadTransFunctor t where
- liftMap :: (m a -> n b) -> t m a -> t n b
- hoistTrans :: (MonadBaseControl b m, MonadBaseControl b (t m), MonadTransFunctor t) => t b a -> t m a
Documentation
class MonadTransControlIdentity t => MonadTransFunctor t where Source #
This type class is generalization of functions like mapReaderT
and mapIdentityT.
hoistTrans :: (MonadBaseControl b m, MonadBaseControl b (t m), MonadTransFunctor t) => t b a -> t m a Source #