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

Index

adjointToLanData.Functor.KanExtension
adjointToRanData.Functor.KanExtension
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
composedAdjointToLanData.Functor.KanExtension
composedAdjointToRanData.Functor.KanExtension
composeLanData.Functor.KanExtension
composeRanData.Functor.KanExtension
CoT 
1 (Type/Class)Control.Monad.Co
2 (Data Constructor)Control.Monad.Co
decomposeLanData.Functor.KanExtension
decomposeRanData.Functor.KanExtension
Density 
1 (Type/Class)Control.Comonad.Density
2 (Data Constructor)Control.Comonad.Density
densityToAdjunctionControl.Comonad.Density
F 
1 (Type/Class)Control.Monad.Free.Church
2 (Data Constructor)Control.Monad.Free.Church
fromFControl.Monad.Free.Church
fromLanData.Functor.KanExtension
fromRanData.Functor.KanExtension
improve 
1 (Function)Control.Monad.Free.Church
2 (Function)Control.Monad.Codensity
Lan 
1 (Type/Class)Data.Functor.KanExtension
2 (Data Constructor)Data.Functor.KanExtension
lanToAdjointData.Functor.KanExtension
lanToComposedAdjointData.Functor.KanExtension
liftCoT0Control.Monad.Co
liftCoT1Control.Monad.Co
liftDensityControl.Comonad.Density
liftFControl.Monad.Free.Church
liftYoneda 
1 (Function)Data.Functor.Yoneda.Contravariant
2 (Function)Data.Functor.Yoneda
lowerCo0Control.Monad.Co
lowerCo1Control.Monad.Co
lowerCodensityControl.Monad.Codensity
lowerCoT0Control.Monad.Co
lowerCoT1Control.Monad.Co
lowerMData.Functor.Yoneda.Contravariant
lowerYoneda 
1 (Function)Data.Functor.Yoneda.Contravariant
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.KanExtension
2 (Data Constructor)Data.Functor.KanExtension
ranToAdjointData.Functor.KanExtension
ranToComposedAdjointData.Functor.KanExtension
retractControl.Monad.Free.Church
runCoControl.Monad.Co
runCodensityControl.Monad.Codensity
runCoTControl.Monad.Co
runFControl.Monad.Free.Church
runRanData.Functor.KanExtension
runYonedaData.Functor.Yoneda
toFControl.Monad.Free.Church
toLanData.Functor.KanExtension
toRanData.Functor.KanExtension
traceWControl.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