The kan-extensions package

[Tags: bsd3, library]

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads


[Skip to ReadMe]

Properties

Versions0.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
Change logCHANGELOG.markdown
Dependenciesadjunctions (==4.*), array (>=0.3.0.2 && <0.6), base (>=4.4 && <5), comonad (==4.*), containers (>=0.4 && <0.6), contravariant (>=0.4.4 && <1), distributive (>=0.2.2 && <1), free (==4.*), mtl (>=2.0.1 && <2.2), pointed (==4.*), semigroupoids (==4.*), speculation (>=1.5.0.1 && <2), transformers (>=0.2 && <0.4) [details]
LicenseBSD3
CopyrightCopyright (C) 2008-2013 Edward A. Kmett
AuthorEdward A. Kmett
MaintainerEdward A. Kmett <ekmett@gmail.com>
Stabilityprovisional
CategoryData Structures, Monads, Comonads, Functors
Home pagehttp://github.com/ekmett/kan-extensions/
Bug trackerhttp://github.com/ekmett/kan-extensions/issues
Source repositoryhead: git clone git://github.com/ekmett/kan-extensions.git
UploadedThu May 29 05:06:36 UTC 2014 by EdwardKmett
UpdatedThu Jan 8 11:59:05 UTC 2015 by HerbertValerioRiedel to revision 1
DistributionsDebian:4.2.2, FreeBSD:4.2.2, LTSHaskell:4.2.2, NixOS:4.2.2, Stackage:4.2.2
Downloads10335 total (701 in last 30 days)
Votes
0 []
StatusDocs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for kan-extensions-4.0.3

kan-extensions

Build Status

This package provides tools for working with various Kan extensions and Kan lifts in Haskell.

Among the interesting bits included are:

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