kan-extensions-3.7: 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
Coyoneda 
1 (Type/Class)Data.Functor.Contravariant.Coyoneda
2 (Data Constructor)Data.Functor.Contravariant.Coyoneda
3 (Type/Class)Data.Functor.Coyoneda
4 (Data Constructor)Data.Functor.Coyoneda
coyonedaToLanData.Functor.Coyoneda
coyonedaToLiftData.Functor.Coyoneda
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
lanToCoyonedaData.Functor.Coyoneda
lanToDensityControl.Comonad.Density
Lift 
1 (Type/Class)Data.Functor.Kan.Lift
2 (Data Constructor)Data.Functor.Kan.Lift
liftCoT0Control.Monad.Co
liftCoT1Control.Monad.Co
liftCoyoneda 
1 (Function)Data.Functor.Contravariant.Coyoneda
2 (Function)Data.Functor.Coyoneda
liftDensityControl.Comonad.Density
liftToAdjointData.Functor.Kan.Lift
liftToComposedAdjointData.Functor.Kan.Lift
liftToComposedRepData.Functor.Kan.Lift
liftToCoyonedaData.Functor.Coyoneda
liftToRepData.Functor.Kan.Lift
liftYoneda 
1 (Function)Data.Functor.Contravariant.Yoneda
2 (Function)Data.Functor.Yoneda
lowerCo0Control.Monad.Co
lowerCo1Control.Monad.Co
lowerCodensityControl.Monad.Codensity
lowerCoT0Control.Monad.Co
lowerCoT1Control.Monad.Co
lowerCoyoneda 
1 (Function)Data.Functor.Contravariant.Coyoneda
2 (Function)Data.Functor.Coyoneda
lowerMData.Functor.Coyoneda
lowerYoneda 
1 (Function)Data.Functor.Contravariant.Yoneda
2 (Function)Data.Functor.Yoneda
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
2 (Data Constructor)Data.Functor.Contravariant.Yoneda
3 (Type/Class)Data.Functor.Yoneda
4 (Data Constructor)Data.Functor.Yoneda
yonedaToRanData.Functor.Yoneda
yonedaToRiftData.Functor.Yoneda