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

kan-extensions-0.1.2: 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