BSD Portsmath/hs-kan-extensions 5.2.6nb3 NetBSD
Kan extensions/lifts, the Yoneda lemma, and (co)density (co)monads
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- License
- modified-bsd
- Categories
- math
- Package size
- 545.8 KiB, 7975.8 KiB installed
Description
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)
Install
Binary package:
pkgin install hs-kan-extensionsFrom pkgsrc:
cd /usr/pkgsrc/math/hs-kan-extensions && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 5.2.6nb3 |
| NetBSD 10.1 aarch64 | 5.2.6nb3 |
| SmartOS / illumos x86_64 | 5.2.6nb3 |
| macOS 15 arm64 | 5.2.6nb3 |