The adjunctions package

Adjunctions

Properties

Versions	0.1, 0.2, 0.2.1, 0.2.2, 0.3, 0.3.1, 0.4.0, 0.4.1, 0.5.0, 0.5.1, 0.5.2, 0.5.2.1, 0.6.0, 0.7.0, 0.8.0, 0.8.1, 0.9.0, 0.9.0.1, 0.9.0.2, 0.9.0.4, 0.9.1, 0.9.2, 0.9.3, 1.0.0, 1.8.0, 2.0.0, 2.0.0.1, 2.0.0.2, 2.0.0.3, 2.0.1, 2.0.1.1, 2.0.2, 2.0.3, 2.0.4, 2.0.5, 2.2, 2.2.1, 2.2.1.1, 2.4, 2.4.0.1, 2.4.0.2, 2.5, 3.0, 3.0.0.1, 3.0.1, 3.1, 3.2
Dependencies	array (≥0.3.0.2 & <0.4), base (≥4 & <4.4), comonad (1.0.), comonad-transformers (≥1.5.1 & <1.6), containers (0.4.), contravariant (≥0.1.2 & <0.2), distributive (≥0.1.1 & <0.2), keys (≥0.1.0.1 & <0.2), mtl (≥2.0.1.0 & <2.1), representable-functors (0.2.), semigroupoids (≥1.1.1 & <1.2.0), semigroups (≥0.3.4 & <0.4), transformers (≥0.2.0 & <0.3), void (0.4.)
License	BSD3
Copyright	Copyright (C) 2011 Edward A. Kmett
Author	Edward A. Kmett
Maintainer	Edward A. Kmett <ekmett@gmail.com>
Stability	provisional
Category	Data Structures, Adjunctions
Home page	http://github.com/ekmett/adjunctions/
Source repository	git clone git://github.com/ekmett/adjunctions.git
Upload date	Sat Feb 5 07:10:29 UTC 2011
Uploaded by	EdwardKmett
Build failure	ghc-7.0 (log), ghc-7.4 (log)
Distributions	Debian: 3.0.1

Control
- Comonad
  - Trans
    - Control.Comonad.Trans.Adjoint
- Monad
  - 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