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
HasBinaryCoproducts 
1 (Type/Class)Proarrow.Category.Equipment.Limit
2 (Type/Class)Proarrow.Object.BinaryCoproduct
HasBinaryProducts 
1 (Type/Class)Proarrow.Category.Bicategory.Limit
2 (Type/Class)Proarrow.Category.Equipment.Limit
3 (Type/Class)Proarrow.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
HasInitialObject 
1 (Type/Class)Proarrow.Object.Initial
2 (Type/Class)Proarrow.Category.Equipment.Limit
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
HasTerminalObject 
1 (Type/Class)Proarrow.Category.Bicategory.Limit
2 (Type/Class)Proarrow.Category.Equipment.Limit
3 (Type/Class)Proarrow.Object.Terminal
hCombineAllProarrow.Squares
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
hSplitAllProarrow.Squares
hyloProarrow.Profunctor.Fix