The kan-extensions package

Kan extensions, the Yoneda lemma, and (co)density (co)monads

Properties

Versions	0.1, 0.1.1, 0.1.2, 0.2, 0.2.1, 0.2.2, 0.5.0, 0.5.1, 1.8.0, 1.9.0, 2.0.0, 2.0.0.1, 2.0.0.2, 2.0.0.3, 2.0.1, 2.0.2, 2.1, 2.1.2, 2.2, 2.3, 2.4, 2.4.0.1, 2.5, 2.6, 2.7, 3.0, 3.1, 3.1.0.1, 3.1.0.2, 3.1.1
Dependencies	adjunctions (0.7.), 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.1.0.1 & <0.2), semigroupoids (≥1.1.1 & <1.2.0), semigroups (≥0.3.4 & <0.4), transformers (≥0.2.0 & <0.3)
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, Monads, Comonads, Functors
Home page	http://github.com/ekmett/adjunctions/
Source repository	git clone git://github.com/ekmett/adjunctions.git
Upload date	Sat Feb 5 05:21:18 UTC 2011
Uploaded by	EdwardKmett
Build failure	ghc-7.0 (log), ghc-7.4 (log)

Control
- Comonad
  - Control.Comonad.Density
- Monad
  - Control.Monad.Codensity
Data
- Functor
  - Data.Functor.KanExtension
  - Data.Functor.Yoneda
    - Data.Functor.Yoneda.Contravariant