Control.Monad.Contra.Adjoint

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

Documentation

type Adjoint f g = AdjointT f g Identity

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

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

newtype AdjointT f g w a

Constructors

AdjointT

Fields

runAdjointT :: g (w (f a))

Instances

(Adjunction f g, Comonad w) => Monad (AdjointT f g w)

(Adjunction f g, Functor w) => Functor (AdjointT f g w)

(Adjunction f g, Comonad w) => Applicative (AdjointT f g w)