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

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

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

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, 5.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) [details]
License BSD-3-Clause
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/adjunctions/
Source repo head: git clone git://github.com/ekmett/adjunctions.git
Uploaded by EdwardKmett at Sat Feb 5 05:21:18 UTC 2011
Distributions Arch:5.1, Debian:4.2.3, Fedora:5.0.2, FreeBSD:4.2.2, LTSHaskell:5.1, NixOS:5.1, Stackage:5.1, openSUSE:5.1
Downloads 73860 total (239 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-28 [all 6 reports]
Hackage Matrix CI

Modules

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees