The kan-extensions package

[ Tags: bsd3, comonads, data-structures, functors, library, monads ] [ Propose Tags ]

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, 5.0.2
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>
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.2, Debian:4.2.3, Fedora:5.0.2, FreeBSD:4.2.2, LTSHaskell:5.0.2, NixOS:5.0.2, Stackage:5.0.2, Tumbleweed:5.0.2
Downloads 63037 total (4914 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-27 [all 7 reports]
Hackage Matrix CI

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