Path to this page:
./
math/hs-kan-extensions,
Kan extensions/lifts, the Yoneda lemma, and (co)density (co)monads
Branch: CURRENT,
Version: 5.2.5nb4,
Package name: hs-kan-extensions-5.2.5nb4,
Maintainer: pkgsrc-usersThis 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.685 KB
Version history: (Expand)
- (2024-05-09) Updated to version: hs-kan-extensions-5.2.5nb4
- (2023-11-02) Updated to version: hs-kan-extensions-5.2.5nb3
- (2023-10-09) Updated to version: hs-kan-extensions-5.2.5nb2
- (2023-02-09) Updated to version: hs-kan-extensions-5.2.5nb1
- (2023-01-28) Updated to version: hs-kan-extensions-5.2.5
- (2022-02-26) Updated to version: hs-kan-extensions-5.2.3nb1
CVS history: (Expand)
2023-11-02 07:37:49 by Masatake Daimon | Files touched by this commit (1141) |
Log message:
Revbump all Haskell after updating lang/ghc96
|
2023-10-30 17:20:11 by Masatake Daimon | Files touched by this commit (2) |
Log message:
math/hs-kan-extensions: Fix build with GHC 9.6
|
2023-10-09 06:55:01 by Masatake Daimon | Files touched by this commit (988) |
Log message:
Bump Haskell packages after updating lang/ghc94
|
2023-01-28 03:21:15 by Masatake Daimon | Files touched by this commit (4) |
Log message:
math/hs-kan-extensions: Update to 5.2.5
5.2.5 [2022.06.26]
* Only require a Functor constraint in the Eq and Ord instances for
Coyoneda when building against transformers-0.4.*.
5.2.4 [2022.05.07]
* Allow building with transformers-0.6.* and mtl-2.3.*.
|
2022-02-26 04:58:36 by Masatake Daimon | Files touched by this commit (872) |
Log message:
Bump all Haskell packages after enabling "split sections" in mk/haskell.mk
|
2022-02-16 10:59:14 by Masatake Daimon | Files touched by this commit (5) |
Log message:
math/hs-kan-extensions: import hs-kan-extensions-5.2.3
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)
|