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

Index

adjointToCurriedData.Functor.Day.Curried
adjointToLanData.Functor.Kan.Lan
adjointToRanData.Functor.Kan.Ran
adjunctionToCodensityControl.Monad.Codensity
adjunctionToDensityControl.Comonad.Density
appliedData.Functor.Day.Curried
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
composedAdjointToCurriedData.Functor.Day.Curried
composedAdjointToLanData.Functor.Kan.Lan
composedAdjointToRanData.Functor.Kan.Ran
composedRepToCodensityControl.Monad.Codensity
composedRepToRanData.Functor.Kan.Ran
composeLanData.Functor.Kan.Lan
composeRanData.Functor.Kan.Ran
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
Curried 
1 (Type/Class)Data.Functor.Day.Curried
2 (Data Constructor)Data.Functor.Day.Curried
curriedToAdjointData.Functor.Day.Curried
curriedToComposedAdjointData.Functor.Day.Curried
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
decomposeRanData.Functor.Kan.Ran
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
fromCurriedData.Functor.Day.Curried
fromLanData.Functor.Kan.Lan
fromRanData.Functor.Kan.Ran
glanData.Functor.Kan.Lan
granData.Functor.Kan.Ran
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
liftCoT0Control.Monad.Co
liftCoT0MControl.Monad.Co
liftCoT1Control.Monad.Co
liftCoT1MControl.Monad.Co
liftCoyoneda 
1 (Function)Data.Functor.Contravariant.Coyoneda
2 (Function)Data.Functor.Coyoneda
liftCurriedData.Functor.Day.Curried
liftDensityControl.Comonad.Density
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
lowerCurriedData.Functor.Day.Curried
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.Day.Curried
repToRanData.Functor.Kan.Ran
runCoControl.Monad.Co
runCodensityControl.Monad.Codensity
runCoTControl.Monad.Co
runCurriedData.Functor.Day.Curried
runDayData.Functor.Contravariant.Day
runRanData.Functor.Kan.Ran
runYoneda 
1 (Function)Data.Functor.Contravariant.Yoneda
2 (Function)Data.Functor.Yoneda
swapped 
1 (Function)Data.Functor.Day
2 (Function)Data.Functor.Contravariant.Day
toCurriedData.Functor.Day.Curried
toLanData.Functor.Kan.Lan
toRanData.Functor.Kan.Ran
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
unappliedData.Functor.Day.Curried
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