kan-extensions-0.5.1: Kan extensions, the Yoneda lemma, and (co)density (co)monads

Index

adjointToLanData.Functor.KanExtension
adjointToRanData.Functor.KanExtension
adjunctionToCodensityControl.Monad.Codensity
adjunctionToDensityControl.Comonad.Density
Codensity 
1 (Type/Class)Control.Monad.Codensity
2 (Data Constructor)Control.Monad.Codensity
codensityToAdjunctionControl.Monad.Codensity
composedAdjointToLanData.Functor.KanExtension
composedAdjointToRanData.Functor.KanExtension
composeLanData.Functor.KanExtension
composeRanData.Functor.KanExtension
decomposeLanData.Functor.KanExtension
decomposeRanData.Functor.KanExtension
Density 
1 (Type/Class)Control.Comonad.Density
2 (Data Constructor)Control.Comonad.Density
densityToAdjunctionControl.Comonad.Density
fromLanData.Functor.KanExtension
fromRanData.Functor.KanExtension
improveControl.Monad.Codensity
Lan 
1 (Type/Class)Data.Functor.KanExtension
2 (Data Constructor)Data.Functor.KanExtension
lanToAdjointData.Functor.KanExtension
lanToComposedAdjointData.Functor.KanExtension
liftDensityControl.Comonad.Density
liftYoneda 
1 (Function)Data.Functor.Yoneda.Contravariant
2 (Function)Data.Functor.Yoneda
lowerCodensityControl.Monad.Codensity
lowerMData.Functor.Yoneda.Contravariant
lowerYoneda 
1 (Function)Data.Functor.Yoneda.Contravariant
2 (Function)Data.Functor.Yoneda
maxFData.Functor.Yoneda
maxMData.Functor.Yoneda
minFData.Functor.Yoneda
minMData.Functor.Yoneda
Ran 
1 (Type/Class)Data.Functor.KanExtension
2 (Data Constructor)Data.Functor.KanExtension
ranToAdjointData.Functor.KanExtension
ranToComposedAdjointData.Functor.KanExtension
runCodensityControl.Monad.Codensity
runRanData.Functor.KanExtension
runYonedaData.Functor.Yoneda
toLanData.Functor.KanExtension
toRanData.Functor.KanExtension
Yoneda 
1 (Type/Class)Data.Functor.Yoneda.Contravariant
2 (Data Constructor)Data.Functor.Yoneda.Contravariant
3 (Type/Class)Data.Functor.Yoneda
4 (Data Constructor)Data.Functor.Yoneda