proarrow-0: Category theory with a central role for profunctors (Index - D)

proarrow-0: Category theory with a central role for profunctors

Index - D

D	Proarrow.Preorder.Discrete
Dagger	Proarrow.Category.Dagger
dagger	Proarrow.Category.Dagger
DaggerProfunctor	Proarrow.Category.Dagger
Day
1 (Type/Class)	Proarrow.Profunctor.Day
2 (Data Constructor)	Proarrow.Profunctor.Day
DayExp
1 (Type/Class)	Proarrow.Profunctor.Day
2 (Data Constructor)	Proarrow.Profunctor.Day
DayUnit
1 (Type/Class)	Proarrow.Profunctor.Day
2 (Data Constructor)	Proarrow.Profunctor.Day
decomposeActs	Proarrow.Category.Monoidal.Action
delta	Proarrow.Category.Bicategory
diag	Proarrow.Object.BinaryProduct
Dict
1 (Type/Class)	Proarrow.Preorder
2 (Data Constructor)	Proarrow.Preorder
dimap	Proarrow.Core, Proarrow.Profunctor, Proarrow
dimapCorep	Proarrow.Profunctor.Corepresentable
dimapDefault	Proarrow.Core, Proarrow.Category, Proarrow
dimapLan	Proarrow.Category.Bicategory.Kan
dimapLax	Proarrow.Category.Bicategory.Prof
dimapLift	Proarrow.Category.Bicategory.Kan
dimapRan	Proarrow.Category.Bicategory.Kan
dimapRep	Proarrow.Profunctor.Representable
dimapRift	Proarrow.Category.Bicategory.Kan
discard	Proarrow.Category.Instance.Kleisli
DISCRETE	Proarrow.Preorder.Discrete
Discrete	Proarrow.Preorder.ThinCategory
DiscreteK	Proarrow.Category.Bicategory.Bidiscrete
dist	Proarrow.Category.Instance.Kleisli
distL	Proarrow.Category.Monoidal.Distributive
distL0	Proarrow.Category.Monoidal.Distributive
distR	Proarrow.Category.Monoidal.Distributive
distR0	Proarrow.Category.Monoidal.Distributive
DistribDual
1 (Type/Class)	Proarrow.Category.Instance.Cat
2 (Data Constructor)	Proarrow.Category.Instance.Cat
distribDual	Proarrow.Object.Dual
distribDual'	Proarrow.Object.Dual
Distributive	Proarrow.Category.Monoidal.Distributive
DistributiveProfunctor	Proarrow.Category.Monoidal.Distributive
DK	Proarrow.Category.Bicategory.Bidiscrete
DoubleNeg
1 (Type/Class)	Proarrow.Category.Instance.Cat
2 (Data Constructor)	Proarrow.Category.Instance.Cat
doubleNeg	Proarrow.Object.Dual
doubleNeg'	Proarrow.Object.Dual
doubleNegInv'	Proarrow.Object.Dual
DUAL
1 (Type/Class)	Proarrow.Category.Instance.Cat
2 (Type/Class)	Proarrow.Category.Instance.Kleisli
Dual
1 (Type/Class)	Proarrow.Object.Dual
2 (Type/Class)	Proarrow.Category.Instance.Cat
dual
1 (Function)	Proarrow.Object.Dual
2 (Function)	Proarrow.Category.Instance.Kleisli
dual'	Proarrow.Object.Dual
dualityCounit	Proarrow.Object.Dual
dualityCounit'	Proarrow.Object.Dual
dualityUnit	Proarrow.Object.Dual
dualityUnit'	Proarrow.Object.Dual
duoidal	Proarrow.Profunctor.Day
duplicate	Proarrow.Promonad