Index

Adjoint
1 (Type/Class)	Control.Monad.Trans.Contravariant.Adjoint
2 (Type/Class)	Control.Monad.Trans.Adjoint
3 (Type/Class)	Control.Comonad.Trans.Adjoint
adjoint
1 (Function)	Control.Monad.Trans.Contravariant.Adjoint
2 (Function)	Control.Monad.Trans.Adjoint
3 (Function)	Control.Comonad.Trans.Adjoint
AdjointT
1 (Type/Class)	Control.Monad.Trans.Contravariant.Adjoint
2 (Data Constructor)	Control.Monad.Trans.Contravariant.Adjoint
3 (Type/Class)	Control.Monad.Trans.Adjoint
4 (Data Constructor)	Control.Monad.Trans.Adjoint
5 (Type/Class)	Control.Comonad.Trans.Adjoint
6 (Data Constructor)	Control.Comonad.Trans.Adjoint
adjointToLan	Data.Functor.KanExtension
adjointToRan	Data.Functor.KanExtension
Adjunction
1 (Type/Class)	Data.Functor.Contravariant.Adjunction
2 (Type/Class)	Data.Functor.Adjunction
adjunctionToCodensityT	Control.Monad.Trans.Codensity
adjunctionToDensityT	Control.Comonad.Trans.Density
Bizap
1 (Type/Class)	Data.Functor.Zap
2 (Data Constructor)	Data.Functor.Zap
bizap	Data.Functor.Zap
bizapProductSum	Data.Functor.Zap
bizapWith	Data.Functor.Zap
callCC	Control.Monad.Trans.Conts
CodensityT
1 (Type/Class)	Control.Monad.Trans.Codensity
2 (Data Constructor)	Control.Monad.Trans.Codensity
codensityTToAdjunction	Control.Monad.Trans.Codensity
compose	Data.Functor.Composition
composedAdjointToLan	Data.Functor.KanExtension
composedAdjointToRan	Data.Functor.KanExtension
composeLan	Data.Functor.KanExtension
composeRan	Data.Functor.KanExtension
composeZap	Data.Functor.Zap
Composition	Data.Functor.Composition
Cont	Control.Monad.Trans.Conts
cont	Control.Monad.Trans.Conts
Conts	Control.Monad.Trans.Conts
conts	Control.Monad.Trans.Conts
ContsT
1 (Type/Class)	Control.Monad.Trans.Conts
2 (Data Constructor)	Control.Monad.Trans.Conts
counit
1 (Function)	Data.Functor.Contravariant.Adjunction
2 (Function)	Data.Functor.Adjunction
decompose	Data.Functor.Composition
decomposeLan	Data.Functor.KanExtension
decomposeRan	Data.Functor.KanExtension
DensityT
1 (Type/Class)	Control.Comonad.Trans.Density
2 (Data Constructor)	Control.Comonad.Trans.Density
densityTToAdjunction	Control.Comonad.Trans.Density
flipBizap	Data.Functor.Zap
flipZap	Data.Functor.Zap
fromLan	Data.Functor.KanExtension
fromRan	Data.Functor.KanExtension
Lan
1 (Type/Class)	Data.Functor.KanExtension
2 (Data Constructor)	Data.Functor.KanExtension
lanToAdjoint	Data.Functor.KanExtension
lanToComposedAdjoint	Data.Functor.KanExtension
leftAdjunct
1 (Function)	Data.Functor.Contravariant.Adjunction
2 (Function)	Data.Functor.Adjunction
liftDensityT	Control.Comonad.Trans.Density
liftYoneda
1 (Function)	Data.Functor.Yoneda
2 (Function)	Data.Functor.Yoneda.Contravariant
liftYonedaT
1 (Function)	Data.Functor.Yoneda
2 (Function)	Data.Functor.Yoneda.Contravariant
lowerCodensityT	Control.Monad.Trans.Codensity
lowerM	Data.Functor.Yoneda.Contravariant
lowerYoneda
1 (Function)	Data.Functor.Yoneda
2 (Function)	Data.Functor.Yoneda.Contravariant
lowerYonedaT
1 (Function)	Data.Functor.Yoneda
2 (Function)	Data.Functor.Yoneda.Contravariant
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
rep
1 (Function)	Data.Functor.Contravariant.Adjunction
2 (Function)	Data.Functor.Adjunction
repAdjunction
1 (Function)	Data.Functor.Contravariant.Adjunction
2 (Function)	Data.Functor.Adjunction
repFlippedAdjunction	Data.Functor.Contravariant.Adjunction
Representation
1 (Type/Class)	Data.Functor.Contravariant.Adjunction
2 (Data Constructor)	Data.Functor.Contravariant.Adjunction
3 (Type/Class)	Data.Functor.Adjunction
4 (Data Constructor)	Data.Functor.Adjunction
rightAdjunct
1 (Function)	Data.Functor.Contravariant.Adjunction
2 (Function)	Data.Functor.Adjunction
runAdjoint
1 (Function)	Control.Monad.Trans.Contravariant.Adjoint
2 (Function)	Control.Monad.Trans.Adjoint
3 (Function)	Control.Comonad.Trans.Adjoint
runAdjointT
1 (Function)	Control.Monad.Trans.Contravariant.Adjoint
2 (Function)	Control.Monad.Trans.Adjoint
3 (Function)	Control.Comonad.Trans.Adjoint
runCodensityT	Control.Monad.Trans.Codensity
runCont	Control.Monad.Trans.Conts
runConts	Control.Monad.Trans.Conts
runContsT	Control.Monad.Trans.Conts
runRan	Data.Functor.KanExtension
runYoneda	Data.Functor.Yoneda
runYonedaT	Data.Functor.Yoneda
toLan	Data.Functor.KanExtension
toRan	Data.Functor.KanExtension
unit
1 (Function)	Data.Functor.Contravariant.Adjunction
2 (Function)	Data.Functor.Adjunction
unrep
1 (Function)	Data.Functor.Contravariant.Adjunction
2 (Function)	Data.Functor.Adjunction
Yoneda
1 (Type/Class)	Data.Functor.Yoneda
2 (Type/Class)	Data.Functor.Yoneda.Contravariant
yoneda
1 (Function)	Data.Functor.Yoneda
2 (Function)	Data.Functor.Yoneda.Contravariant
YonedaT
1 (Type/Class)	Data.Functor.Yoneda
2 (Data Constructor)	Data.Functor.Yoneda
3 (Type/Class)	Data.Functor.Yoneda.Contravariant
4 (Data Constructor)	Data.Functor.Yoneda.Contravariant
Zap
1 (Type/Class)	Data.Functor.Zap
2 (Data Constructor)	Data.Functor.Zap
zap	Data.Functor.Zap
zapAdjunction	Data.Functor.Zap
zapWith	Data.Functor.Zap