proarrow (Index - H)

proarrow

Index - H

hadamard	Proarrow.Category.Instance.ZX
hArr	Proarrow.Squares
HasArrow	Proarrow.Category.Enriched.ThinCategory
HasArrow'	Proarrow.Category.Enriched.ThinCategory
HasArrowCollage	Proarrow.Category.Instance.Collage
HasBinaryCoproducts	Proarrow.Object.BinaryCoproduct
HasBinaryProducts
1 (Type/Class)	Proarrow.Category.Bicategory.Limit
2 (Type/Class)	Proarrow.Object.BinaryProduct
HasBiproducts	Proarrow.Object.BinaryCoproduct
HasCofree	Proarrow.Profunctor.Cofree
HasColimits
1 (Type/Class)	Proarrow.Category.Equipment.Limit
2 (Type/Class)	Proarrow.Category.Colimit
HasCoproducts	Proarrow.Object.BinaryCoproduct
HasCostArrow	Proarrow.Category.Instance.Cost
HasFree	Proarrow.Profunctor.Free
HasFreeK	Proarrow.Profunctor.Free
HasInitialObject	Proarrow.Object.Initial
Hask	Proarrow.Category.Instance.Hask
HaskOptic	Proarrow.Squares
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
HasProducts	Proarrow.Object.BinaryProduct
HasStructure	Proarrow.Category.Instance.Free
HasTerminalObject
1 (Type/Class)	Proarrow.Category.Bicategory.Limit
2 (Type/Class)	Proarrow.Object.Terminal
HasZeroObject	Proarrow.Object.Initial
hCombineAll	Proarrow.Squares
hId	Proarrow.Squares
HK	Proarrow.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
HomK	Proarrow.Category.Bicategory.Hom
HomObj	Proarrow.Category.Enriched
HomObjIsProduct	Proarrow.Object.Power
HomObjOp	Proarrow.Object.Copower
HomSelf	Proarrow.Category.Enriched
HomW
1 (Type/Class)	Proarrow.Category.Bicategory.Hom
2 (Data Constructor)	Proarrow.Category.Bicategory.Hom
hSplitAll	Proarrow.Squares
hylo	Proarrow.Profunctor.Fix