proarrow

Index - H

hadamardProarrow.Category.Instance.ZX
hArrProarrow.Squares
HasAllArrowsProarrow.Category.Instance.Rep
HasArrowProarrow.Category.Enriched.Thin
HasArrow'Proarrow.Category.Enriched.Thin
HasArrowCollageProarrow.Category.Instance.Collage
HasArrowRepProarrow.Category.Instance.Rep
HasBinaryCoproductsProarrow.Object.BinaryCoproduct
HasBinaryProducts 
1 (Type/Class)Proarrow.Category.Bicategory.Limit
2 (Type/Class)Proarrow.Object.BinaryProduct
HasBiproductsProarrow.Object.BinaryCoproduct
HasCofreeProarrow.Profunctor.Cofree
HasColimits 
1 (Type/Class)Proarrow.Category.Equipment.Limit
2 (Type/Class)Proarrow.Category.Colimit
HasCoproductsProarrow.Object.BinaryCoproduct
HasCostArrowProarrow.Category.Instance.Cost
HasFreeProarrow.Profunctor.Free
HasFreeKProarrow.Profunctor.Free
HasInitialObjectProarrow.Object.Initial
HaskProarrow.Category.Instance.Hask
HaskOpticProarrow.Squares
HaskTraversalProarrow.Category.Monoidal.Optic
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
HasPullbacksProarrow.Object.Pullback
HasPushoutsProarrow.Object.Pushout
HasStructureProarrow.Category.Instance.Free
HasTerminalObject 
1 (Type/Class)Proarrow.Category.Bicategory.Limit
2 (Type/Class)Proarrow.Object.Terminal
HasZeroObjectProarrow.Object.Initial
hCombineAllProarrow.Squares
hIdProarrow.Squares
HKProarrow.Category.Bicategory.Hom
Hom 
1 (Type/Class)Proarrow.Core
2 (Type/Class)Proarrow.Category.Limit
3 (Data Constructor)Proarrow.Category.Limit
4 (Type/Class)Proarrow.Category.Colimit
5 (Data Constructor)Proarrow.Category.Colimit
6 (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
hyloProarrow.Profunctor.Fix
HypergraphProarrow.Category.Monoidal.Hypergraph