adjunctions-0.4.1: Adjunctions (Index)

adjunctions-0.4.1: Adjunctions

Index

Adjoint
1 (Type/Class)	Control.Monad.Contra.Adjoint
2 (Type/Class)	Control.Comonad.Trans.Adjoint
3 (Type/Class)	Control.Monad.Trans.Adjoint
4 (Type/Class)	Control.Comonad.Contra.Adjoint
adjoint
1 (Function)	Control.Monad.Contra.Adjoint
2 (Function)	Control.Comonad.Trans.Adjoint
3 (Function)	Control.Monad.Trans.Adjoint
4 (Function)	Control.Comonad.Contra.Adjoint
AdjointT
1 (Type/Class)	Control.Monad.Contra.Adjoint
2 (Data Constructor)	Control.Monad.Contra.Adjoint
3 (Type/Class)	Control.Comonad.Trans.Adjoint
4 (Data Constructor)	Control.Comonad.Trans.Adjoint
5 (Type/Class)	Control.Monad.Trans.Adjoint
6 (Data Constructor)	Control.Monad.Trans.Adjoint
7 (Type/Class)	Control.Comonad.Contra.Adjoint
8 (Data Constructor)	Control.Comonad.Contra.Adjoint
Adjunction
1 (Type/Class)	Data.Functor.Contravariant.Adjunction
2 (Type/Class)	Data.Functor.Adjunction
adjunctionToCodensity	Control.Monad.Trans.Codensity
adjunctionToDensity	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.Contra.Cont
Codensity
1 (Type/Class)	Control.Monad.Trans.Codensity
2 (Data Constructor)	Control.Monad.Trans.Codensity
codensityToAdjunction	Control.Monad.Trans.Codensity
composeZap	Data.Functor.Zap
Cont	Control.Monad.Contra.Cont
cont	Control.Monad.Contra.Cont
ContT
1 (Type/Class)	Control.Monad.Contra.Cont
2 (Data Constructor)	Control.Monad.Contra.Cont
counit
1 (Function)	Data.Functor.Contravariant.Adjunction
2 (Function)	Data.Functor.Adjunction
counitOp	Data.Functor.Contravariant.DualAdjunction
Density
1 (Type/Class)	Control.Comonad.Trans.Density
2 (Data Constructor)	Control.Comonad.Trans.Density
densityToAdjunction	Control.Comonad.Trans.Density
DualAdjunction	Data.Functor.Contravariant.DualAdjunction
flipBizap	Data.Functor.Zap
flipZap	Data.Functor.Zap
leftAdjunct
1 (Function)	Data.Functor.Contravariant.Adjunction
2 (Function)	Data.Functor.Adjunction
leftAdjunctOp	Data.Functor.Contravariant.DualAdjunction
liftDensity	Control.Comonad.Trans.Density
lowerCodensity	Control.Monad.Trans.Codensity
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
rightAdjunctOp	Data.Functor.Contravariant.DualAdjunction
runAdjoint
1 (Function)	Control.Monad.Contra.Adjoint
2 (Function)	Control.Comonad.Trans.Adjoint
3 (Function)	Control.Monad.Trans.Adjoint
4 (Function)	Control.Comonad.Contra.Adjoint
runAdjointT
1 (Function)	Control.Monad.Contra.Adjoint
2 (Function)	Control.Comonad.Trans.Adjoint
3 (Function)	Control.Monad.Trans.Adjoint
4 (Function)	Control.Comonad.Contra.Adjoint
runCodensity	Control.Monad.Trans.Codensity
runCont	Control.Monad.Contra.Cont
runContT	Control.Monad.Contra.Cont
unit
1 (Function)	Data.Functor.Contravariant.Adjunction
2 (Function)	Data.Functor.Adjunction
unitOp	Data.Functor.Contravariant.DualAdjunction
unrep
1 (Function)	Data.Functor.Contravariant.Adjunction
2 (Function)	Data.Functor.Adjunction
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