| Portability | MPTCs, fundeps |
|---|---|
| Stability | provisional |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Monad.Trans.Adjoint
Description
Documentation
runAdjoint :: Functor g => Adjoint f g a -> g (f a)Source
newtype AdjointT f g m a Source
Constructors
| AdjointT | |
Fields
| |
Instances
| (Adjunction f g, Traversable f) => MonadTrans (AdjointT f g) | Exploiting this instance requires that we have the missing Traversables for Identity, (,)e and IdentityT |
| (Adjunction f g, Monad m) => Monad (AdjointT f g m) | |
| (Adjunction f g, Monad m) => Functor (AdjointT f g m) | |
| (Adjunction f g, Monad m) => Applicative (AdjointT f g m) |