kan-extensions-3.6.2: Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads

Index

adjointToLanData.Functor.Kan.Lan
adjointToLiftData.Functor.Kan.Lift
adjointToRanData.Functor.Kan.Ran
adjointToRiftData.Functor.Kan.Rift
adjunctionToCodensityControl.Monad.Codensity
adjunctionToDensityControl.Comonad.Density
asksWControl.Monad.Co
askWControl.Monad.Co
CoControl.Monad.Co
coControl.Monad.Co
Codensity 
1 (Type/Class)Control.Monad.Codensity
2 (Data Constructor)Control.Monad.Codensity
codensityToAdjunctionControl.Monad.Codensity
codensityToComposedRepControl.Monad.Codensity
codensityToRanControl.Monad.Codensity
composedAdjointToLanData.Functor.Kan.Lan
composedAdjointToLiftData.Functor.Kan.Lift
composedAdjointToRanData.Functor.Kan.Ran
composedAdjointToRiftData.Functor.Kan.Rift
composedRepToCodensityControl.Monad.Codensity
composedRepToLiftData.Functor.Kan.Lift
composedRepToRanData.Functor.Kan.Ran
composeLanData.Functor.Kan.Lan
composeLiftData.Functor.Kan.Lift
composeRanData.Functor.Kan.Ran
composeRiftData.Functor.Kan.Rift
CoT 
1 (Type/Class)Control.Monad.Co
2 (Data Constructor)Control.Monad.Co
decomposeLanData.Functor.Kan.Lan
decomposeLiftData.Functor.Kan.Lift
decomposeRanData.Functor.Kan.Ran
decomposeRiftData.Functor.Kan.Rift
Density 
1 (Type/Class)Control.Comonad.Density
2 (Data Constructor)Control.Comonad.Density
densityToAdjunctionControl.Comonad.Density
densityToLanControl.Comonad.Density
fromLanData.Functor.Kan.Lan
fromLiftData.Functor.Kan.Lift
fromRanData.Functor.Kan.Ran
fromRiftData.Functor.Kan.Rift
glanData.Functor.Kan.Lan
gliftData.Functor.Kan.Lift
granData.Functor.Kan.Ran
griftData.Functor.Kan.Rift
improveControl.Monad.Codensity
Lan 
1 (Type/Class)Data.Functor.Kan.Lan
2 (Data Constructor)Data.Functor.Kan.Lan
lanToAdjointData.Functor.Kan.Lan
lanToComposedAdjointData.Functor.Kan.Lan
lanToDensityControl.Comonad.Density
lanToYonedaData.Functor.Yoneda.Reduction
Lift 
1 (Type/Class)Data.Functor.Kan.Lift
2 (Data Constructor)Data.Functor.Kan.Lift
liftCoT0Control.Monad.Co
liftCoT1Control.Monad.Co
liftDensityControl.Comonad.Density
liftToAdjointData.Functor.Kan.Lift
liftToComposedAdjointData.Functor.Kan.Lift
liftToComposedRepData.Functor.Kan.Lift
liftToRepData.Functor.Kan.Lift
liftToYonedaData.Functor.Yoneda.Reduction
liftYoneda 
1 (Function)Data.Functor.Contravariant.Yoneda.Reduction
2 (Function)Data.Functor.Contravariant.Yoneda
3 (Function)Data.Functor.Yoneda
4 (Function)Data.Functor.Yoneda.Reduction
lowerCo0Control.Monad.Co
lowerCo1Control.Monad.Co
lowerCodensityControl.Monad.Codensity
lowerCoT0Control.Monad.Co
lowerCoT1Control.Monad.Co
lowerMData.Functor.Yoneda.Reduction
lowerYoneda 
1 (Function)Data.Functor.Contravariant.Yoneda.Reduction
2 (Function)Data.Functor.Contravariant.Yoneda
3 (Function)Data.Functor.Yoneda
4 (Function)Data.Functor.Yoneda.Reduction
maxFData.Functor.Yoneda
maxMData.Functor.Yoneda
minFData.Functor.Yoneda
minMData.Functor.Yoneda
peeksWControl.Monad.Co
peekWControl.Monad.Co
posWControl.Monad.Co
Ran 
1 (Type/Class)Data.Functor.Kan.Ran
2 (Data Constructor)Data.Functor.Kan.Ran
ranToAdjointData.Functor.Kan.Ran
ranToCodensityControl.Monad.Codensity
ranToComposedAdjointData.Functor.Kan.Ran
ranToComposedRepData.Functor.Kan.Ran
ranToRepData.Functor.Kan.Ran
ranToYonedaData.Functor.Yoneda
rapData.Functor.Kan.Rift
repToLiftData.Functor.Kan.Lift
repToRanData.Functor.Kan.Ran
Rift 
1 (Type/Class)Data.Functor.Kan.Rift
2 (Data Constructor)Data.Functor.Kan.Rift
riftToAdjointData.Functor.Kan.Rift
riftToComposedAdjointData.Functor.Kan.Rift
riftToYonedaData.Functor.Yoneda
runCoControl.Monad.Co
runCodensityControl.Monad.Codensity
runCoTControl.Monad.Co
runLiftData.Functor.Kan.Lift
runRanData.Functor.Kan.Ran
runRiftData.Functor.Kan.Rift
runYoneda 
1 (Function)Data.Functor.Contravariant.Yoneda
2 (Function)Data.Functor.Yoneda
toLanData.Functor.Kan.Lan
toLiftData.Functor.Kan.Lift
toRanData.Functor.Kan.Ran
toRiftData.Functor.Kan.Rift
traceWControl.Monad.Co
Yoneda 
1 (Type/Class)Data.Functor.Contravariant.Yoneda.Reduction
2 (Data Constructor)Data.Functor.Contravariant.Yoneda.Reduction
3 (Type/Class)Data.Functor.Contravariant.Yoneda
4 (Data Constructor)Data.Functor.Contravariant.Yoneda
5 (Type/Class)Data.Functor.Yoneda
6 (Data Constructor)Data.Functor.Yoneda
7 (Type/Class)Data.Functor.Yoneda.Reduction
8 (Data Constructor)Data.Functor.Yoneda.Reduction
yonedaToLanData.Functor.Yoneda.Reduction
yonedaToLiftData.Functor.Yoneda.Reduction
yonedaToRanData.Functor.Yoneda
yonedaToRiftData.Functor.Yoneda