adjunctions-0.3.1: Adjunctions (Index)

adjunctions-0.3.1: Adjunctions

Index

Adjoint
1 (Type/Class)	Control.Comonad.Trans.Adjoint
2 (Type/Class)	Control.Monad.Trans.Adjoint
adjoint
1 (Function)	Control.Comonad.Trans.Adjoint
2 (Function)	Control.Monad.Trans.Adjoint
AdjointT
1 (Type/Class)	Control.Comonad.Trans.Adjoint
2 (Data Constructor)	Control.Comonad.Trans.Adjoint
3 (Type/Class)	Control.Monad.Trans.Adjoint
4 (Data Constructor)	Control.Monad.Trans.Adjoint
Adjunction
1 (Type/Class)	Data.Functor.Contravariant.Adjunction
2 (Type/Class)	Data.Functor.Adjunction
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
composeZap	Data.Functor.Zap
Contra
1 (Type/Class)	Control.Monad.Contra
2 (Type/Class)	Control.Comonad.Contra
contra
1 (Function)	Control.Monad.Contra
2 (Function)	Control.Comonad.Contra
ContraT
1 (Type/Class)	Control.Monad.Contra
2 (Data Constructor)	Control.Monad.Contra
3 (Type/Class)	Control.Comonad.Contra
4 (Data Constructor)	Control.Comonad.Contra
counit
1 (Function)	Data.Functor.Contravariant.Adjunction
2 (Function)	Data.Functor.Adjunction
counitOp	Data.Functor.Contravariant.DualAdjunction
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
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.Comonad.Trans.Adjoint
2 (Function)	Control.Monad.Trans.Adjoint
runAdjointT
1 (Function)	Control.Comonad.Trans.Adjoint
2 (Function)	Control.Monad.Trans.Adjoint
runContra
1 (Function)	Control.Monad.Contra
2 (Function)	Control.Comonad.Contra
runContraT
1 (Function)	Control.Monad.Contra
2 (Function)	Control.Comonad.Contra
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