Control.Monad.Trans.Adjoint · adjunctions-4.4.3

typetype Adjoint (f :: Type -> Type) (g :: Type -> Type) = AdjointT f g Identity

valuerunAdjoint :: Functor g => Adjoint f g a -> g (f a)

valueadjoint :: Functor g => g (f a) -> Adjoint f g a

newtypenewtype AdjointT (f :: Type -> Type) (g :: Type -> Type) (m :: Type -> Type) a

Instances4MonadTrans, Monad, Functor, Applicative

(Adjunction f g, Traversable f) => MonadTrans (AdjointT f g)Defined in adjunctions-4.4.3 · Control.Monad.Trans.Adjoint
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)Defined in adjunctions-4.4.3 · Control.Monad.Trans.Adjoint
(Adjunction f g, Monad m) => Functor (AdjointT f g m)Defined in adjunctions-4.4.3 · Control.Monad.Trans.Adjoint
(Adjunction f g, Monad m) => Applicative (AdjointT f g m)Defined in adjunctions-4.4.3 · Control.Monad.Trans.Adjoint