Contents
Index
kan-extensions-0.5.0: Kan extensions, the Yoneda lemma, and (co)density (co)monads
Index
adjointToLan
Data.Functor.KanExtension
adjointToRan
Data.Functor.KanExtension
adjunctionToCodensity
Control.Monad.Codensity
adjunctionToDensity
Control.Comonad.Density
Codensity
1 (Type/Class)
Control.Monad.Codensity
2 (Data Constructor)
Control.Monad.Codensity
codensityToAdjunction
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
Density
1 (Type/Class)
Control.Comonad.Density
2 (Data Constructor)
Control.Comonad.Density
densityToAdjunction
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
liftDensity
Control.Comonad.Density
liftYoneda
1 (Function)
Data.Functor.Yoneda.Contravariant
2 (Function)
Data.Functor.Yoneda
lowerCodensity
Control.Monad.Codensity
lowerM
Data.Functor.Yoneda.Contravariant
lowerYoneda
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
runCodensity
Control.Monad.Codensity
runRan
Data.Functor.KanExtension
runYoneda
Data.Functor.Yoneda
toLan
Data.Functor.KanExtension
toRan
Data.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