kan-extensions-4.1.1: 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
assoc 
1 (Function)Data.Functor.Day
2 (Function)Data.Functor.Contravariant.Day
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
dapData.Functor.Day
Day 
1 (Type/Class)Data.Functor.Day
2 (Data Constructor)Data.Functor.Day
3 (Type/Class)Data.Functor.Contravariant.Day
4 (Data Constructor)Data.Functor.Contravariant.Day
day 
1 (Function)Data.Functor.Day
2 (Function)Data.Functor.Contravariant.Day
day1Data.Functor.Contravariant.Day
day2Data.Functor.Contravariant.Day
dctrlMControl.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
diagData.Functor.Contravariant.Day
disassoc 
1 (Function)Data.Functor.Day
2 (Function)Data.Functor.Contravariant.Day
diterControl.Monad.Co
elim1Data.Functor.Day
elim2Data.Functor.Day
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
intro1 
1 (Function)Data.Functor.Day
2 (Function)Data.Functor.Contravariant.Day
intro2 
1 (Function)Data.Functor.Day
2 (Function)Data.Functor.Contravariant.Day
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
liftCoT0MControl.Monad.Co
liftCoT1Control.Monad.Co
liftCoT1MControl.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
runDayData.Functor.Contravariant.Day
runLiftData.Functor.Kan.Lift
runRanData.Functor.Kan.Ran
runRiftData.Functor.Kan.Rift
runYoneda 
1 (Function)Data.Functor.Contravariant.Yoneda
2 (Function)Data.Functor.Yoneda
swapped 
1 (Function)Data.Functor.Day
2 (Function)Data.Functor.Contravariant.Day
toLanData.Functor.Kan.Lan
toLiftData.Functor.Kan.Lift
toRanData.Functor.Kan.Ran
toRiftData.Functor.Kan.Rift
traceWControl.Monad.Co
trans1 
1 (Function)Data.Functor.Day
2 (Function)Data.Functor.Contravariant.Day
trans2 
1 (Function)Data.Functor.Day
2 (Function)Data.Functor.Contravariant.Day
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