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

Index

adjointToCurried | Data.Functor.Day.Curried
adjointToLan | Data.Functor.Kan.Lan
adjointToRan | Data.Functor.Kan.Ran
adjunctionToCodensity | Control.Monad.Codensity
adjunctionToDensity | Control.Comonad.Density
applied | Data.Functor.Day.Curried
asksW | Control.Monad.Co
askW | Control.Monad.Co
assoc |
1 (Function) | Data.Functor.Day
2 (Function) | Data.Functor.Contravariant.Day
Co | Control.Monad.Co
co | Control.Monad.Co
Codensity |
1 (Type/Class) | Control.Monad.Codensity
2 (Data Constructor) | Control.Monad.Codensity
codensityToAdjunction | Control.Monad.Codensity
codensityToComposedRep | Control.Monad.Codensity
codensityToRan | Control.Monad.Codensity
composedAdjointToCurried | Data.Functor.Day.Curried
composedAdjointToLan | Data.Functor.Kan.Lan
composedAdjointToRan | Data.Functor.Kan.Ran
composedRepToCodensity | Control.Monad.Codensity
composedRepToRan | Data.Functor.Kan.Ran
composeLan | Data.Functor.Kan.Lan
composeRan | Data.Functor.Kan.Ran
CoT |
1 (Type/Class) | Control.Monad.Co
2 (Data Constructor) | Control.Monad.Co
Coyoneda |
1 (Type/Class) | Data.Functor.Coyoneda
2 (Data Constructor) | Data.Functor.Coyoneda
3 (Type/Class) | Data.Functor.Contravariant.Coyoneda
4 (Data Constructor) | Data.Functor.Contravariant.Coyoneda
coyonedaToLan | Data.Functor.Coyoneda
Curried |
1 (Type/Class) | Data.Functor.Day.Curried
2 (Data Constructor) | Data.Functor.Day.Curried
curriedToAdjoint | Data.Functor.Day.Curried
curriedToComposedAdjoint | Data.Functor.Day.Curried
dap | Data.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
day1 | Data.Functor.Contravariant.Day
day2 | Data.Functor.Contravariant.Day
dctrlM | Control.Monad.Co
decomposeLan | Data.Functor.Kan.Lan
decomposeRan | Data.Functor.Kan.Ran
Density |
1 (Type/Class) | Control.Comonad.Density
2 (Data Constructor) | Control.Comonad.Density
densityToAdjunction | Control.Comonad.Density
densityToLan | Control.Comonad.Density
diag | Data.Functor.Contravariant.Day
disassoc |
1 (Function) | Data.Functor.Day
2 (Function) | Data.Functor.Contravariant.Day
diter | Control.Monad.Co
elim1 | Data.Functor.Day
elim2 | Data.Functor.Day
fromCurried | Data.Functor.Day.Curried
fromLan | Data.Functor.Kan.Lan
fromRan | Data.Functor.Kan.Ran
glan | Data.Functor.Kan.Lan
gran | Data.Functor.Kan.Ran
hoistCoyoneda | Data.Functor.Coyoneda
improve | Control.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
lanToAdjoint | Data.Functor.Kan.Lan
lanToComposedAdjoint | Data.Functor.Kan.Lan
lanToCoyoneda | Data.Functor.Coyoneda
lanToDensity | Control.Comonad.Density
liftCoT0 | Control.Monad.Co
liftCoT0M | Control.Monad.Co
liftCoT1 | Control.Monad.Co
liftCoT1M | Control.Monad.Co
liftCoyoneda |
1 (Function) | Data.Functor.Coyoneda
2 (Function) | Data.Functor.Contravariant.Coyoneda
liftCurried | Data.Functor.Day.Curried
liftDensity | Control.Comonad.Density
liftYoneda |
1 (Function) | Data.Functor.Yoneda
2 (Function) | Data.Functor.Contravariant.Yoneda
lowerCo0 | Control.Monad.Co
lowerCo1 | Control.Monad.Co
lowerCodensity | Control.Monad.Codensity
lowerCoT0 | Control.Monad.Co
lowerCoT1 | Control.Monad.Co
lowerCoyoneda |
1 (Function) | Data.Functor.Coyoneda
2 (Function) | Data.Functor.Contravariant.Coyoneda
lowerCurried | Data.Functor.Day.Curried
lowerM | Data.Functor.Coyoneda
lowerYoneda |
1 (Function) | Data.Functor.Yoneda
2 (Function) | Data.Functor.Contravariant.Yoneda
maxF | Data.Functor.Yoneda
maxM | Data.Functor.Yoneda
minF | Data.Functor.Yoneda
minM | Data.Functor.Yoneda
peeksW | Control.Monad.Co
peekW | Control.Monad.Co
posW | Control.Monad.Co
Ran |
1 (Type/Class) | Data.Functor.Kan.Ran
2 (Data Constructor) | Data.Functor.Kan.Ran
ranToAdjoint | Data.Functor.Kan.Ran
ranToCodensity | Control.Monad.Codensity
ranToComposedAdjoint | Data.Functor.Kan.Ran
ranToComposedRep | Data.Functor.Kan.Ran
ranToRep | Data.Functor.Kan.Ran
ranToYoneda | Data.Functor.Yoneda
rap | Data.Functor.Day.Curried
repToRan | Data.Functor.Kan.Ran
runCo | Control.Monad.Co
runCodensity | Control.Monad.Codensity
runCoT | Control.Monad.Co
runCurried | Data.Functor.Day.Curried
runDay | Data.Functor.Contravariant.Day
runRan | Data.Functor.Kan.Ran
runYoneda |
1 (Function) | Data.Functor.Yoneda
2 (Function) | Data.Functor.Contravariant.Yoneda
swapped |
1 (Function) | Data.Functor.Day
2 (Function) | Data.Functor.Contravariant.Day
toCurried | Data.Functor.Day.Curried
toLan | Data.Functor.Kan.Lan
toRan | Data.Functor.Kan.Ran
traceW | Control.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
unapplied | Data.Functor.Day.Curried
Yoneda |
1 (Type/Class) | Data.Functor.Yoneda
2 (Data Constructor) | Data.Functor.Yoneda
3 (Type/Class) | Data.Functor.Contravariant.Yoneda
4 (Data Constructor) | Data.Functor.Contravariant.Yoneda
yonedaToRan | Data.Functor.Yoneda