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

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

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


[Skip to Readme]

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
Change log CHANGELOG.markdown
Dependencies adjunctions (>=4.2 && <5), array (>=0.3.0.2 && <0.6), base (>=4.11 && <5), comonad (>=4 && <6), containers (>=0.4 && <0.8), contravariant (>=1 && <2), distributive (>=0.2.2 && <1), free (>=4 && <6), invariant (>=0.1 && <1), mtl (>=2.2.1 && <2.4), profunctors (>=5 && <6), semigroupoids (>=5.2.2 && <7), tagged (>=0.7.2 && <1), transformers (>=0.5 && <0.7) [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 ryanglscott at 2024-05-04T15:43:57Z
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.5
Reverse Dependencies 45 direct, 7882 indirect [details]
Downloads 146921 total (357 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 2024-05-04 [all 1 reports]

Readme for kan-extensions-5.2.6

[back to package description]

kan-extensions

Hackage Build Status

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 (Ran and Lan)
  • Right and left Kan lifts (Rift and Lift)
  • Multiple forms of the Yoneda lemma (Yoneda)
  • The Codensity monad, 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