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.Colimit.BinaryCoproduct
HasBinaryProducts 
1 (Type/Class)Proarrow.Category.Bicategory.Limit
2 (Type/Class)Proarrow.Limit.BinaryProduct
HasBiproductsProarrow.Colimit.BinaryCoproduct
HasCoequalizersProarrow.Colimit.Coequalizer
HasCofreeProarrow.Profunctor.Cofree
HasColimits 
1 (Type/Class)Proarrow.Category.Equipment.Limit
2 (Type/Class)Proarrow.Colimit
HasCoproductsProarrow.Colimit.BinaryCoproduct
HasCostArrowProarrow.Category.Instance.Cost
HasEpiMonoFactorizationProarrow.Category.Topos
HasEqualizersProarrow.Limit.Equalizer
HasFiniteColimitsProarrow.Category.Topos
HasFiniteLimitsProarrow.Category.Topos
HasFreeProarrow.Profunctor.Free
HasFreeKProarrow.Profunctor.Free
HasIdArrowProarrow.Category.Bicategory.ThinCategoryAsBi
HasInitialObjectProarrow.Colimit.Initial
HaskProarrow.Category.Instance.Hask
haskAdjIsCurryAdjProarrow.Adjunction
HaskOpticProarrow.Squares
HaskTraversalProarrow.Category.Monoidal.Optic
haskTraversingProarrow.Category.Monoidal.Optic
HaskValue 
1 (Type/Class)Proarrow.Profunctor.Instance.HaskValue
2 (Data Constructor)Proarrow.Profunctor.Instance.HaskValue
HasLimits 
1 (Type/Class)Proarrow.Category.Equipment.Limit
2 (Type/Class)Proarrow.Limit
HasNoArrowProarrow.Category.Enriched.Thin
HasParamNNOProarrow.Colimit.NaturalNumbers
HasProductsProarrow.Limit.BinaryProduct
HasPullbacksProarrow.Limit.Pullback
HasPushoutsProarrow.Colimit.Pushout
HasStructureProarrow.Category.Instance.Free
HasSubobjectClassifierProarrow.Category.Topos
HasTerminalObject 
1 (Type/Class)Proarrow.Category.Bicategory.Limit
2 (Type/Class)Proarrow.Limit.Terminal
HasZeroObjectProarrow.Colimit.Initial
hCombineAllProarrow.Squares
hIdProarrow.Squares
HKProarrow.Category.Bicategory.Hom
Hom 
1 (Type/Class)Proarrow.Core
2 (Type/Class)Proarrow.Limit
3 (Data Constructor)Proarrow.Limit
4 (Type/Class)Proarrow.Colimit
5 (Data Constructor)Proarrow.Colimit
6 (Data Constructor)Proarrow.Category.Bicategory.Hom
HomKProarrow.Category.Bicategory.Hom
HomObjProarrow.Category.Enriched
HomObjIsProductProarrow.Limit.Power
HomObjOpProarrow.Colimit.Copower
HomSelfProarrow.Category.Enriched
HomW 
1 (Type/Class)Proarrow.Category.Bicategory.Hom
2 (Data Constructor)Proarrow.Category.Bicategory.Hom
hSplitAllProarrow.Squares
hyloProarrow.Profunctor.Instance.Fix
HypergraphProarrow.Category.Monoidal.Hypergraph