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

Index - H

hArr 
1 (Function)Proarrow.Category.Equipment
2 (Function)Proarrow.Squares
HasArrowProarrow.Preorder.ThinCategory
HasArrow'Proarrow.Preorder.ThinCategory
HasArrowCollageProarrow.Category.Instance.Collage
HasBinaryCoproductsProarrow.Object.BinaryCoproduct
HasBinaryProductsProarrow.Object.BinaryProduct
HasCofreeProarrow.Profunctor.Cofree
HasColimits 
1 (Type/Class)Proarrow.Category.Equipment.Limit
2 (Type/Class)Proarrow.Category.Colimit
HasCompanionsProarrow.Category.Equipment
HasCoproductsProarrow.Object.BinaryCoproduct
HasFreeProarrow.Profunctor.Free
HasFreeKProarrow.Profunctor.Free
HasInitialObjectProarrow.Object.Initial
HaskProarrow.Category.Instance.Hask
HaskLanProarrow.Category.Instance.Nat
HaskRanProarrow.Category.Instance.Nat
HasLimits 
1 (Type/Class)Proarrow.Category.Equipment.Limit
2 (Type/Class)Proarrow.Category.Limit
HasProductsProarrow.Object.BinaryProduct
HasTerminalObjectProarrow.Object.Terminal
hId 
1 (Function)Proarrow.Category.Equipment
2 (Function)Proarrow.Squares
HKProarrow.Category.Bicategory.Hom
Hom 
1 (Type/Class)Proarrow.Category.Limit
2 (Data Constructor)Proarrow.Category.Limit
3 (Data Constructor)Proarrow.Category.Bicategory.Hom
HomKProarrow.Category.Bicategory.Hom
HomW 
1 (Type/Class)Proarrow.Category.Bicategory.Hom
2 (Data Constructor)Proarrow.Category.Bicategory.Hom
hyloProarrow.Profunctor.Fix