./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.6nb1, Package name: hs-kan-extensions-5.2.6nb1, 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.209 KB

Version history: (Expand)

CVS history: (Expand)


   2025-02-02 14:06:08 by Masatake Daimon | Files touched by this commit (1173) 
Log message:
Bump all Haskell packages after switching the default compiler.
   2025-01-30 08:54:38 by Masatake Daimon | Files touched by this commit (3) | Package updated
Log message:
math/hs-kan-extensions: update to kan-extensions-5.2.6

5.2.6 [2024.05.04]
------------------
* Drop support for GHC 8.2 and earlier.
* Generalize instances in `Control.Monad.Codensity` to be of the form:

  ```hs
  instance (f ~~ f', MonadFail f') => MonadFail (Codensity (f :: k -> TYPE \ 
rep))
  ```

  This avoids having to constrain `k ~ Type` and `rep ~ LiftedRep`, which could \ 
potentially harm type inference.
* Explicitly implement `liftA2` in the `Applicative` instance for \ 
`Data.Functor.Day.Curried`.
* Add an `Adjunction` instance for `Data.Functor.Day`.
* Add `Adjunction` and `Divisible` instances for `Data.Functor.Contravariant.Day`.
* Add an `Apply` instance for `Data.Functor.Day.Curried`.
   2024-05-09 03:32:57 by Masatake Daimon | Files touched by this commit (1137) 
Log message:
Recursive revbump after changing the default Haskell compiler
   2024-05-03 09:59:31 by Masatake Daimon | Files touched by this commit (1) 
Log message:
math/hs-kan-extensions: Fix build with GHC 9.8

This breaks build with the currently default GHC 9.6. Please bear with me
until I switch the default compiler.
   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.*.