kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads
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
- adjunctions >= 4.2 && < 5
- base >= 4.11 && < 5
- comonad >= 4 && < 6
- contravariant >= 1 && < 2
- distributive >= 0.2.2 && < 1
- exceptions >= 0.10 && < 0.11
- invariant >= 0.1 && < 1
- free >= 4 && < 6
- mtl >= 2.2.1 && < 2.4
- profunctors >= 5 && < 6
- semigroupoids >= 5.2.2 && < 7
- transformers >= 0.5 && < 0.7
- 5.2.8
- 5.2.7
- 5.2.6
- 5.2.5
- 5.2.4
- 5.2.3
- 5.2.2
- 5.2.1
- 5.2
- 5.1
- 5.0.2
- 5.0.1
- 5
- 4.2.3
- 4.2.2
- 4.2.1
- 4.2
- 4.1.1
- 4.1.0.1
- 4.1
- 4.0.3
- 4.0.2
- 4.0.1
- 4.0
- 3.7
- 3.6.2
- 3.6
- 3.5.1
- 3.5
- 3.4
- 3.1.2
- 3.1.1
- 3.1.0.2
- 3.1.0.1
- 3.1
- 3.0
- 2.7
- 2.6
- 2.5
- 2.4.0.1
- 2.4
- 2.3
- 2.2
- 2.1.2
- 2.1
- 2.0.2
- 2.0.1
- 2.0.0.3
- 2.0.0.2
- 2.0.0.1
- 2.0.0
- 1.9.0
- 1.8.0
- 0.5.1
- 0.5.0
- 0.2.2
- 0.2.1
- 0.2
- 0.1.2
- 0.1.1
- 0.1