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

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

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

Modules

[Last Documentation]

  • 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

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 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, 5.2, 5.2.1, 5.2.2, 5.2.3, 5.2.4, 5.2.5, 5.2.6
Dependencies adjunctions (>=0.7 && <0.8), array (>=0.3.0.2 && <0.4), base (>=4 && <4.4), comonad (>=1.0 && <1.1), comonad-transformers (>=1.5.1 && <1.6), containers (>=0.4 && <0.5), 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 2011-02-05T05:21:18Z
Distributions Arch:5.2.6, Debian:5.2, Fedora:5.2.5, FreeBSD:4.2.2, LTSHaskell:5.2.6, NixOS:5.2.6, Stackage:5.2.6, openSUSE:5.2.6
Reverse Dependencies 45 direct, 7916 indirect [details]
Downloads 147750 total (499 in the last 30 days)
Rating 2.25 (votes: 3) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-28 [all 6 reports]