adjunctions-4.4: Adjunctions and representable functors

Signatures

Modules

• Control
  Submodules

  • Comonad
    Submodules

    • Representable
      Submodules

      • Control.Comonad.Representable.Store
    • Trans
      Submodules

      • Control.Comonad.Trans.Adjoint
  • Monad
    Submodules

    • Representable
      Submodules

      • Control.Monad.Representable.Reader
      • Control.Monad.Representable.State
    • Trans
      Submodules

      • Control.Monad.Trans.Adjoint
      • Contravariant
        Submodules

        • Control.Monad.Trans.Contravariant.Adjoint
      • Control.Monad.Trans.Conts
• Data
  Submodules

  • Functor
    Submodules

    • Data.Functor.Adjunction
    • Contravariant
      Submodules

      • Data.Functor.Contravariant.Adjunction
      • Data.Functor.Contravariant.Rep
    • Data.Functor.Rep