BSD-3-Clause licensed by Edward A. Kmett
Maintained by Edward A. Kmett
This version can be pinned in stack with:adjunctions-4.2@sha256:c8683665953c18e8ed5cae069d3a281316e2cdffe11ee7add799d6a37bd8ed21,1970

Module documentation for 4.2

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


Build Status

This package provides adjunctions for Haskell.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on

-Edward Kmett



  • contravariant 1.0 support. Day convolution moves to kan-extensions.


  • Silenced Control.Monad.Instances deprecation warnings on GHC 7.8


  • Added mfixRep to make it easier to define representable MonadFix instances.
  • Added mzipRep and mzipWithRep to make it easier to define representable MonadZip instances.
  • Added duplicateRepBy, extendRepBy and extractRepBy to make it easier to pick your own Monoid.
  • Minor documentation fixes.


  • Increased lower bound on contravariant to match the actual requirement.


  • Merged the contents of representable-functors.
  • Removed the dependency on keys.
  • Moved Data.Functor.Contravariant.Representable to Data.Functor.Contravariant.Rep and made the API mimic Data.Profunctor.Rep.
  • Moved Data.Functor.Representable to Data.Functor.Rep and made the API mimic Data.Profunctor.Rep.
  • Added Tagged and Proxy instances for Data.Functor.Rep.Representable
  • Added a Proxy instance for Data.Functor.Contravariant.Rep.Representable

  • Updated the array dependency


  • Marked modules appropriately Trustworthy.


  • Updated to representable-functors 3.1, which changed the API for contravariant representable functors.