Control.Comonad.Trans.Adjoint

Synopsis

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

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

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

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

Instances4ComonadTrans, Functor, Comonad, Extend

(Adjunction f g, Distributive g) => ComonadTrans (AdjointT f g)Defined in adjunctions-4.4.4 · Control.Comonad.Trans.Adjoint
(Adjunction f g, Functor w) => Functor (AdjointT f g w)Defined in adjunctions-4.4.4 · Control.Comonad.Trans.Adjoint
(Adjunction f g, Comonad w) => Comonad (AdjointT f g w)Defined in adjunctions-4.4.4 · Control.Comonad.Trans.Adjoint
(Adjunction f g, Extend w) => Extend (AdjointT f g w)Defined in adjunctions-4.4.4 · Control.Comonad.Trans.Adjoint