Contents
Index
kan-extensions-1.8.0: Kan extensions, the Yoneda lemma, and (co)density (co)monads
Index
adjointToLan
Data.Functor.KanExtension
adjointToRan
Data.Functor.KanExtension
adjunctionToCodensity
Control.Monad.Codensity
adjunctionToDensity
Control.Comonad.Density
Co
1 (Type/Class)
Control.Monad.Co
2 (Data Constructor)
Control.Monad.Co
Codensity
1 (Type/Class)
Control.Monad.Codensity
2 (Data Constructor)
Control.Monad.Codensity
codensityToAdjunction
Control.Monad.Codensity
composedAdjointToLan
Data.Functor.KanExtension
composedAdjointToRan
Data.Functor.KanExtension
composeLan
Data.Functor.KanExtension
composeRan
Data.Functor.KanExtension
decomposeLan
Data.Functor.KanExtension
decomposeRan
Data.Functor.KanExtension
Density
1 (Type/Class)
Control.Comonad.Density
2 (Data Constructor)
Control.Comonad.Density
densityToAdjunction
Control.Comonad.Density
F
1 (Type/Class)
Control.Monad.Free.Church
2 (Data Constructor)
Control.Monad.Free.Church
fromF
Control.Monad.Free.Church
fromLan
Data.Functor.KanExtension
fromRan
Data.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
lanToAdjoint
Data.Functor.KanExtension
lanToComposedAdjoint
Data.Functor.KanExtension
lift0
Control.Monad.Co
lift1
Control.Monad.Co
liftDensity
Control.Comonad.Density
liftF
Control.Monad.Free.Church
liftYoneda
1 (Function)
Data.Functor.Yoneda.Contravariant
2 (Function)
Data.Functor.Yoneda
lower0
Control.Monad.Co
lower1
Control.Monad.Co
lowerCodensity
Control.Monad.Codensity
lowerM
Data.Functor.Yoneda.Contravariant
lowerYoneda
1 (Function)
Data.Functor.Yoneda.Contravariant
2 (Function)
Data.Functor.Yoneda
maxF
Data.Functor.Yoneda
maxM
Data.Functor.Yoneda
minF
Data.Functor.Yoneda
minM
Data.Functor.Yoneda
Ran
1 (Type/Class)
Data.Functor.KanExtension
2 (Data Constructor)
Data.Functor.KanExtension
ranToAdjoint
Data.Functor.KanExtension
ranToComposedAdjoint
Data.Functor.KanExtension
retract
Control.Monad.Free.Church
runCo
Control.Monad.Co
runCodensity
Control.Monad.Codensity
runF
Control.Monad.Free.Church
runRan
Data.Functor.KanExtension
runYoneda
Data.Functor.Yoneda
toF
Control.Monad.Free.Church
toLan
Data.Functor.KanExtension
toRan
Data.Functor.KanExtension
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