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 (≥2.2.1.1 & <2.3), array (≥0.3.0.2 & <0.5), base (4.), comonad (≥1.1.1.3 & <1.2), comonad-transformers (2.1.), comonads-fd (2.1.), containers (0.4.), contravariant (≥0.2.0.1 & <0.3), distributive (≥0.2.2 & <0.3), free (2.1.*), keys (≥2.1.3 & <2.2), mtl (≥2.0.1 & <2.2), representable-functors (≥2.2.1.1 & <2.3), semigroupoids (≥1.3.1 & <1.4), speculation (≥1.4.1 & <1.5), transformers (≥0.2 & <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, Monads, Comonads, Functors
Home page	http://github.com/ekmett/kan-extensions/
Source repository	git clone git://github.com/ekmett/kan-extensions.git
Upload date	Sun Apr 15 05:49:03 UTC 2012
Uploaded by	EdwardKmett
Build failure	ghc-7.4 (log)

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