Contents
Index
adjunctions-0.5.2: Adjunctions
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