ee686bada0
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)
67 lines
4.4 KiB
Text
67 lines
4.4 KiB
Text
@comment $NetBSD: PLIST,v 1.1 2022/02/16 09:59:14 pho Exp $
|
|
lib/kan-extensions-${PKGVERSION}/${HS_VERSION}/package-description
|
|
lib/kan-extensions-${PKGVERSION}/${HS_VERSION}/package-id
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Density.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Density.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Density.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Co.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Co.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Co.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Codensity.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Codensity.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Codensity.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Coyoneda.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Coyoneda.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Coyoneda.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Day.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Day.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Day.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Yoneda.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Yoneda.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Yoneda.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Coyoneda.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Coyoneda.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Coyoneda.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Day.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Day.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Day.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Day/Curried.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Day/Curried.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Day/Curried.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Invariant/Day.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Invariant/Day.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Invariant/Day.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Kan/Lan.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Kan/Lan.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Kan/Lan.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Kan/Ran.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Kan/Ran.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Kan/Ran.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Yoneda.dyn_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Yoneda.hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Yoneda.p_hi
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}.a
|
|
lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}_p.a
|
|
lib/${HS_PLATFORM}/libHS${HS_PKGID}-${HS_VER}.so
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/LICENSE
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Control-Comonad-Density.html
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Control-Monad-Co.html
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Control-Monad-Codensity.html
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Contravariant-Coyoneda.html
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Contravariant-Day.html
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Contravariant-Yoneda.html
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Coyoneda.html
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Day-Curried.html
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Day.html
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Invariant-Day.html
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Kan-Lan.html
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Kan-Ran.html
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Yoneda.html
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/doc-index.html
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/haddock-bundle.min.js
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/index.html
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/kan-extensions.haddock
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/linuwial.css
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/meta.json
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/quick-jump.css
|
|
share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/synopsis.png
|