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