The kan-extensions package

[Tags:bsd3, library]

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, 3.1.2, 3.4, 3.5, 3.5.1, 3.6, 3.6.2, 3.7, 4.0, 4.0.1, 4.0.2, 4.0.3, 4.1, 4.1.0.1, 4.1.1, 4.2, 4.2.1, 4.2.2, 4.2.3, 5, 5.0.1
Dependencies adjunctions (==2.0.*), array (>=0.3.0.2 && <0.4), base (==4.*), comonad (==1.1.*), comonad-transformers (==1.8.*), comonads-fd (==1.8.*), containers (==0.4.*), contravariant (>=0.1.2 && <0.2), distributive (==0.2.*), free (==1.8.*), keys (==1.8.*), mtl (>=2.0.1.0 && <2.1), representable-functors (==2.0.*), semigroupoids (>=1.2.2 && <1.3), semigroups (==0.5.*), transformers (==0.2.*) [details]
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 head: git clone git://github.com/ekmett/kan-extensions.git
Uploaded Tue Jul 26 22:21:35 UTC 2011 by EdwardKmett
Distributions Arch:5.0.1, Debian:4.2.3, FreeBSD:4.2.2, LTSHaskell:4.2.3, NixOS:5.0.1, Stackage:5.0.1, Tumbleweed:4.2.3
Downloads 13531 total (93 in the last 30 days)
Votes
2 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-22 [all 5 reports]

Modules

  • 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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees