Contents
Index
kan-extensions-0.2.1: Kan extensions, the Yoneda lemma, and (co)density (co)monads
Index
adjointToLan
Data.Functor.KanExtension
adjointToRan
Data.Functor.KanExtension
adjunctionToCodensityT
Control.Monad.Codensity
adjunctionToDensityT
Control.Comonad.Density
CodensityT
1 (Type/Class)
Control.Monad.Codensity
2 (Data Constructor)
Control.Monad.Codensity
codensityTToAdjunction
Control.Monad.Codensity
composedAdjointToLan
Data.Functor.KanExtension
composedAdjointToRan
Data.Functor.KanExtension
composeLan
Data.Functor.KanExtension
composeRan
Data.Functor.KanExtension
decomposeLan
Data.Functor.KanExtension
decomposeRan
Data.Functor.KanExtension
DensityT
1 (Type/Class)
Control.Comonad.Density
2 (Data Constructor)
Control.Comonad.Density
densityTToAdjunction
Control.Comonad.Density
fromLan
Data.Functor.KanExtension
fromRan
Data.Functor.KanExtension
Lan
1 (Type/Class)
Data.Functor.KanExtension
2 (Data Constructor)
Data.Functor.KanExtension
lanToAdjoint
Data.Functor.KanExtension
lanToComposedAdjoint
Data.Functor.KanExtension
liftDensityT
Control.Comonad.Density
liftYoneda
1 (Function)
Data.Functor.Yoneda.Contravariant
2 (Function)
Data.Functor.Yoneda
liftYonedaT
1 (Function)
Data.Functor.Yoneda.Contravariant
2 (Function)
Data.Functor.Yoneda
lowerCodensityT
Control.Monad.Codensity
lowerM
Data.Functor.Yoneda.Contravariant
lowerYoneda
1 (Function)
Data.Functor.Yoneda.Contravariant
2 (Function)
Data.Functor.Yoneda
lowerYonedaT
1 (Function)
Data.Functor.Yoneda.Contravariant
2 (Function)
Data.Functor.Yoneda
maxF
Data.Functor.Yoneda
maxM
Data.Functor.Yoneda
minF
Data.Functor.Yoneda
minM
Data.Functor.Yoneda
Ran
1 (Type/Class)
Data.Functor.KanExtension
2 (Data Constructor)
Data.Functor.KanExtension
ranToAdjoint
Data.Functor.KanExtension
ranToComposedAdjoint
Data.Functor.KanExtension
runCodensityT
Control.Monad.Codensity
runRan
Data.Functor.KanExtension
runYoneda
Data.Functor.Yoneda
runYonedaT
Data.Functor.Yoneda
toLan
Data.Functor.KanExtension
toRan
Data.Functor.KanExtension
Yoneda
1 (Type/Class)
Data.Functor.Yoneda.Contravariant
2 (Type/Class)
Data.Functor.Yoneda
yoneda
1 (Function)
Data.Functor.Yoneda.Contravariant
2 (Function)
Data.Functor.Yoneda
YonedaT
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