proarrow

Index - H

HProarrow.Object.BinaryProduct
hadamardProarrow.Category.Instance.ZX
hArr 
1 (Function)Proarrow.Category.Equipment
2 (Function)Proarrow.Squares, Proarrow
HasArrowProarrow.Category.Enriched.ThinCategory
HasArrow'Proarrow.Category.Enriched.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.Category.Equipment.Limit
2 (Type/Class)Proarrow.Object.Initial
HaskProarrow.Category.Instance.Hask
HaskOpticProarrow.Squares, Proarrow
HaskValue 
1 (Type/Class)Proarrow.Profunctor.HaskValue
2 (Data Constructor)Proarrow.Profunctor.HaskValue
HasLimits 
1 (Type/Class)Proarrow.Category.Equipment.Limit
2 (Type/Class)Proarrow.Category.Limit
HasProductsProarrow.Object.BinaryProduct
HasStructureProarrow.Category.Instance.Free
HasTerminalObject 
1 (Type/Class)Proarrow.Category.Bicategory.Limit
2 (Type/Class)Proarrow.Category.Equipment.Limit
3 (Type/Class)Proarrow.Object.Terminal
HasZeroObjectProarrow.Object.Initial
hCombineAllProarrow.Squares, Proarrow
HereProarrow.Tools.Laws
hId 
1 (Function)Proarrow.Category.Equipment
2 (Function)Proarrow.Squares, Proarrow
HKProarrow.Category.Bicategory.Hom
Hom 
1 (Type/Class)Proarrow.Category.Limit
2 (Data Constructor)Proarrow.Category.Limit
3 (Type/Class)Proarrow.Category.Colimit
4 (Data Constructor)Proarrow.Category.Colimit
5 (Data Constructor)Proarrow.Category.Bicategory.Hom
HomKProarrow.Category.Bicategory.Hom
HomObjProarrow.Category.Enriched
HomObjIsProductProarrow.Object.Power
HomObjOpProarrow.Object.Copower
HomSelfProarrow.Category.Enriched
HomW 
1 (Type/Class)Proarrow.Category.Bicategory.Hom
2 (Data Constructor)Proarrow.Category.Bicategory.Hom
hSplitAllProarrow.Squares, Proarrow
hyloProarrow.Profunctor.Fix