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

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

Index

adjointToLan	Data.Functor.KanExtension
adjointToLift	Data.Functor.KanLift
adjointToRan	Data.Functor.KanExtension
adjointToRift	Data.Functor.KanLift
adjunctionToCodensity	Control.Monad.Codensity
adjunctionToDensity	Control.Comonad.Density
asksW	Control.Monad.Co
askW	Control.Monad.Co
Co	Control.Monad.Co
co	Control.Monad.Co
Codensity
1 (Type/Class)	Control.Monad.Codensity
2 (Data Constructor)	Control.Monad.Codensity
codensityToAdjunction	Control.Monad.Codensity
composedAdjointToLan	Data.Functor.KanExtension
composedAdjointToLift	Data.Functor.KanLift
composedAdjointToRan	Data.Functor.KanExtension
composedAdjointToRift	Data.Functor.KanLift
composeLan	Data.Functor.KanExtension
composeLift	Data.Functor.KanLift
composeRan	Data.Functor.KanExtension
composeRift	Data.Functor.KanLift
CoT
1 (Type/Class)	Control.Monad.Co
2 (Data Constructor)	Control.Monad.Co
decomposeLan	Data.Functor.KanExtension
decomposeLift	Data.Functor.KanLift
decomposeRan	Data.Functor.KanExtension
decomposeRift	Data.Functor.KanLift
Density
1 (Type/Class)	Control.Comonad.Density
2 (Data Constructor)	Control.Comonad.Density
densityToAdjunction	Control.Comonad.Density
fromLan	Data.Functor.KanExtension
fromLift	Data.Functor.KanLift
fromRan	Data.Functor.KanExtension
fromRift	Data.Functor.KanLift
glift	Data.Functor.KanLift
grift	Data.Functor.KanLift
improve	Control.Monad.Codensity
Lan
1 (Type/Class)	Data.Functor.KanExtension
2 (Data Constructor)	Data.Functor.KanExtension
lanToAdjoint	Data.Functor.KanExtension
lanToComposedAdjoint	Data.Functor.KanExtension
Lift
1 (Type/Class)	Data.Functor.KanLift
2 (Data Constructor)	Data.Functor.KanLift
liftCoT0	Control.Monad.Co
liftCoT1	Control.Monad.Co
liftDensity	Control.Comonad.Density
liftToAdjoint	Data.Functor.KanLift
liftToComposedAdjoint	Data.Functor.KanLift
liftYoneda
1 (Function)	Data.Functor.Yoneda.Contravariant
2 (Function)	Data.Functor.Yoneda
lowerCo0	Control.Monad.Co
lowerCo1	Control.Monad.Co
lowerCodensity	Control.Monad.Codensity
lowerCoT0	Control.Monad.Co
lowerCoT1	Control.Monad.Co
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
peeksW	Control.Monad.Co
peekW	Control.Monad.Co
posW	Control.Monad.Co
Ran
1 (Type/Class)	Data.Functor.KanExtension
2 (Data Constructor)	Data.Functor.KanExtension
ranToAdjoint	Data.Functor.KanExtension
ranToComposedAdjoint	Data.Functor.KanExtension
rap	Data.Functor.KanLift
Rift
1 (Type/Class)	Data.Functor.KanLift
2 (Data Constructor)	Data.Functor.KanLift
riftToAdjoint	Data.Functor.KanLift
riftToComposedAdjoint	Data.Functor.KanLift
runCo	Control.Monad.Co
runCodensity	Control.Monad.Codensity
runCoT	Control.Monad.Co
runLift	Data.Functor.KanLift
runRan	Data.Functor.KanExtension
runRift	Data.Functor.KanLift
runYoneda	Data.Functor.Yoneda
toLan	Data.Functor.KanExtension
toLift	Data.Functor.KanLift
toRan	Data.Functor.KanExtension
toRift	Data.Functor.KanLift
traceW	Control.Monad.Co
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