kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads
http://github.com/ekmett/kan-extensions/
Version on this page: | 5.1@rev:1 |
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.1@sha256:e90f758d18571a69420a336ee35dbd93473398a1242a11575cbaf61792a84af5,2612
Module documentation for 5.1
- 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 15 packages(full list with versions):
Used by 6 packages in nightly-2018-06-10(full list with versions):