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

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


Branch: CURRENT, Version: 5.2.5nb4, Package name: hs-kan-extensions-5.2.5nb4, 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.685 KB

Version history: (Expand)


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)