kan-extensions
Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads
http://github.com/ekmett/kan-extensions/
Version on this page: | 5.0.2 |
LTS Haskell 22.14: | 5.2.5@rev:2 |
Stackage Nightly 2024-03-28: | 5.2.5@rev:2 |
Latest on Hackage: | 5.2.5@rev:2 |
Maintained by Edward A. Kmett
This version can be pinned in stack with:
kan-extensions-5.0.2@sha256:12de0fdcbff3f4fa7d0da89da88709cc8d6d14b7e3f9fe5f007fc011285e17af,1972
Module documentation for 5.0.2
- Control
- Control.Comonad
- Control.Comonad.Density
- Control.Monad
- Control.Monad.Co
- Control.Monad.Codensity
- Control.Comonad
- Data
- Data.Functor
- Data.Functor.Contravariant
- Data.Functor.Contravariant.Coyoneda
- Data.Functor.Contravariant.Day
- Data.Functor.Contravariant.Yoneda
- Data.Functor.Coyoneda
- Data.Functor.Day
- Data.Functor.Day.Curried
- Data.Functor.Kan
- Data.Functor.Kan.Lan
- Data.Functor.Kan.Ran
- Data.Functor.Yoneda
- Data.Functor.Contravariant
- Data.Functor
Depends on 13 packages(full list with versions):
Used by 7 packages in nightly-2017-05-15(full list with versions):