module Control.Comonad.Contra.Adjoint
( Adjoint
, runAdjoint
, adjoint
, AdjointT(..)
) where
import Prelude hiding (sequence)
import Control.Comonad
import Control.Monad (liftM)
import Data.Functor.Identity
import Data.Functor.Contravariant
import Data.Functor.Contravariant.DualAdjunction
type Adjoint f g = AdjointT f g Identity
newtype AdjointT f g m a = AdjointT { runAdjointT :: f (m (g a)) }
adjoint :: Contravariant f => f (g a) -> Adjoint f g a
adjoint = AdjointT . contramap runIdentity
runAdjoint :: Contravariant f => Adjoint f g a -> f (g a)
runAdjoint = contramap Identity . runAdjointT
instance (Contravariant f, Contravariant g, Monad m) => Functor (AdjointT f g m) where
fmap f (AdjointT g) = AdjointT $ contramap (liftM (contramap f)) g
instance (DualAdjunction f g, Monad m) => Comonad (AdjointT f g m) where
extract = rightAdjunctOp return . runAdjointT
extend f = AdjointT . contramap (>>= leftAdjunctOp (f . AdjointT)) . runAdjointT