kan-extensions: Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads
[ bsd3, comonads, data-structures, functors, library, monads ]
[ Propose Tags ]
[ Report a vulnerability ]
Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads
[Skip to Readme]
Downloads
- kan-extensions-5.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
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 |
|---|---|
| Change log | CHANGELOG.markdown |
| Dependencies | adjunctions (>=4.2 && <5), array (>=0.3.0.2 && <0.6), base (>=4.4 && <5), comonad (>=4 && <5), containers (>=0.4 && <0.6), contravariant (>=1 && <2), distributive (>=0.2.2 && <1), free (>=4 && <5), mtl (>=2.0.1 && <2.3), semigroupoids (>=4 && <6), tagged (>=0.7.2 && <1), transformers (>=0.2 && <0.6) [details] |
| License | BSD-3-Clause |
| Copyright | Copyright (C) 2008-2016 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/ |
| Bug tracker | http://github.com/ekmett/kan-extensions/issues |
| Source repo | head: git clone git://github.com/ekmett/kan-extensions.git |
| Uploaded | by EdwardKmett at 2016-01-16T20:49:29Z |
| 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, 7910 indirect [details] |
| Downloads | 147558 total (528 in the last 30 days) |
| Rating | 2.25 (votes: 3) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2016-01-20 [all 1 reports] |
Readme for kan-extensions-5
[back to package description]kan-extensions
This package provides tools for working with various Kan extensions and Kan lifts in Haskell.
Among the interesting bits included are:
- Right and left Kan extensions (
RanandLan) - Right and left Kan lifts (
RiftandLift) - Multiple forms of the Yoneda lemma (
Yoneda) - The
Codensitymonad, which can be used to improve the asymptotic complexity of code over free monads (Codensity,Density) - A "comonad to monad-transformer transformer" that is a special case of a right Kan lift. (
CoT,Co)
Contact Information
Contributions and bug reports are welcome!
Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.
-Edward Kmett