adjunctions-4.3: Adjunctions and representable functors

Modules

• Control
  • Comonad
    • Representable
      • Control.Comonad.Representable.Store
    • Trans
      • Control.Comonad.Trans.Adjoint
  • Monad
    • Representable
      • Control.Monad.Representable.Reader
      • Control.Monad.Representable.State
    • Trans
      • Control.Monad.Trans.Adjoint
      • Contravariant
        • Control.Monad.Trans.Contravariant.Adjoint
      • Control.Monad.Trans.Conts
• Data
  • Functor
    • Data.Functor.Adjunction
    • Contravariant
      • Data.Functor.Contravariant.Adjunction
      • Data.Functor.Contravariant.Rep
    • Data.Functor.Rep