adjunctions-0.2.2: Adjunctions

PortabilityMPTCs, fundeps
Stabilityprovisional
MaintainerEdward Kmett <[email protected]>

Control.Comonad.Trans.Adjoint

Description

 

Documentation

type Adjoint f g = AdjointT f g IdentitySource

runAdjoint :: Functor f => Adjoint f g a -> f (g a)Source

adjoint :: Functor f => f (g a) -> Adjoint f g aSource

newtype AdjointT f g w a Source

Constructors

AdjointT 

Fields

runAdjointT :: f (w (g a))
 

Instances

(Adjunction f g, Distributive g) => ComonadTrans (AdjointT f g) 
(Adjunction f g, Functor m) => Functor (AdjointT f g m) 
(Adjunction f g, Comonad m) => Comonad (AdjointT f g m)