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

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

Index - W

W
1 (Type/Class)	Proarrow.Category.Equipment.BiAsEquipment
2 (Data Constructor)	Proarrow.Category.Equipment.BiAsEquipment
With
1 (Type/Class)	Proarrow.Category.Instance.Linear
2 (Data Constructor)	Proarrow.Category.Instance.Linear
withArr	Proarrow.Preorder.ThinCategory
withAssoc	Proarrow.Category.Bicategory.Strictified
withAssocMult	Proarrow.Category.Instance.Mat
withAssocPlus	Proarrow.Category.Instance.Mat
withCorepObj	Proarrow.Profunctor.Corepresentable
withDist	Proarrow.Category.Instance.Mat
withEq	Proarrow.Preorder.ThinCategory
withIsPath	Proarrow.Category.Bicategory.Strictified
withMultNat	Proarrow.Category.Instance.Mat
withMultSucc	Proarrow.Category.Instance.Mat
withMultSym	Proarrow.Category.Instance.Mat
withNat	Proarrow.Category.Instance.Mat
withPlusNat	Proarrow.Category.Instance.Mat
withPlusSucc	Proarrow.Category.Instance.Mat
withPlusSym	Proarrow.Category.Instance.Mat
withRepObj	Proarrow.Profunctor.Representable
WK	Proarrow.Category.Equipment.BiAsEquipment
WKK	Proarrow.Category.Equipment.BiAsEquipment
Wrapped
1 (Type/Class)	Proarrow.Profunctor.Wrapped
2 (Data Constructor)	Proarrow.Profunctor.Wrapped
Writer
1 (Type/Class)	Proarrow.Promonad.Writer
2 (Data Constructor)	Proarrow.Promonad.Writer