@hackage kan-extensions5

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads

Categories
- Data Structures
- Monads
License
BSD-3-Clause
Maintainer
Edward A. Kmett <ekmett@gmail.com>
Links
Versions
- 5.2.7 Tue, 17 Jun 2025
- 5.2.6 Mon, 3 Mar 2025
- 5.2.5 Sat, 30 Sep 2023
- 5.2.4 Sat, 7 May 2022
- 5.2.3 Tue, 27 Jul 2021
- 5.2.2 Mon, 26 Jul 2021

Installation
In your cabal file:
Dependencies (12)
- array >=0.3.0.2 && <0.6
- base >=4.4 && <5
- containers >=0.4 && <0.6
- mtl >=2.0.1 && <2.3
- transformers >=0.2 && <0.6
- adjunctions >=4.2 && <5
Dependents (49)
@hackage/box, @hackage/free-operational, @hackage/servant-http-streams, @hackage/objective, @hackage/config-schema, @hackage/neural, Show all…

Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads