Control.Comonad.Contra.Adjoint

Use a contravariant dual adjunction from Hask^op to build a Monad to Comonad transformer.

Documentation

type Adjoint f g = AdjointT f g Identity

runAdjoint :: Contravariant f => Adjoint f g a -> f (g a)

adjoint :: Contravariant f => f (g a) -> Adjoint f g a

newtype AdjointT f g m a

Constructors

AdjointT

Fields

runAdjointT :: f (m (g a))

Instances

(Contravariant f, Contravariant g, Monad m) => Functor (AdjointT f g m)

(DualAdjunction f g, Monad m) => Comonad (AdjointT f g m)