@hackage kan-extensions5.2.8
Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads
Categories
License
BSD-3-Clause
Maintainer
Edward A. Kmett <ekmett@gmail.com>
Links
Versions
Installation
Tested Compilers
Dependencies (12)
- adjunctions >=4.2 && <5
- base >=4.11 && <5
- comonad >=4 && <6
- contravariant >=1 && <2
- distributive >=0.2.2 && <1
- exceptions >=0.10 && <0.11 Show all…
Dependents (53)
@hackage/box, @hackage/monad-actions, @hackage/free-operational, @hackage/servant-http-streams, @hackage/objective, @hackage/config-schema, Show all…
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