./math/hs-kan-extensions, Kan extensions/lifts, the Yoneda lemma, and (co)density (co)monads

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2022Q4, Version: 5.2.3nb1, Package name: hs-kan-extensions-5.2.3nb1, Maintainer: pkgsrc-users

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)

Master sites:

Filesize: 21.577 KB

Version history: (Expand)