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

kan-extensions-1.8.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
Co
1 (Type/Class)	Control.Monad.Co
2 (Data Constructor)	Control.Monad.Co
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
F
1 (Type/Class)	Control.Monad.Free.Church
2 (Data Constructor)	Control.Monad.Free.Church
fromF	Control.Monad.Free.Church
fromLan	Data.Functor.KanExtension
fromRan	Data.Functor.KanExtension
improve
1 (Function)	Control.Monad.Free.Church
2 (Function)	Control.Monad.Codensity
Lan
1 (Type/Class)	Data.Functor.KanExtension
2 (Data Constructor)	Data.Functor.KanExtension
lanToAdjoint	Data.Functor.KanExtension
lanToComposedAdjoint	Data.Functor.KanExtension
lift0	Control.Monad.Co
lift1	Control.Monad.Co
liftDensity	Control.Comonad.Density
liftF	Control.Monad.Free.Church
liftYoneda
1 (Function)	Data.Functor.Yoneda.Contravariant
2 (Function)	Data.Functor.Yoneda
lower0	Control.Monad.Co
lower1	Control.Monad.Co
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
retract	Control.Monad.Free.Church
runCo	Control.Monad.Co
runCodensity	Control.Monad.Codensity
runF	Control.Monad.Free.Church
runRan	Data.Functor.KanExtension
runYoneda	Data.Functor.Yoneda
toF	Control.Monad.Free.Church
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