Index - H
| hArr | Proarrow.Category.Double |
| hArr1 | Proarrow.Category.Double |
| HasBinaryCoproducts | Proarrow.Object.BinaryCoproduct |
| HasBinaryProducts | Proarrow.Object.BinaryProduct |
| HasColimits | Proarrow.Category.Colimit |
| HasCoproducts | Proarrow.Object.BinaryCoproduct |
| HasInitialObject | Proarrow.Object.Initial |
| Hask | Proarrow.Category.Instance.Hask |
| HaskLan | Proarrow.Category.Bicategory.Kan |
| HaskRan | Proarrow.Category.Bicategory.Kan |
| HasLimits | Proarrow.Category.Limit |
| HasProducts | Proarrow.Object.BinaryProduct |
| HasTerminalObject | Proarrow.Object.Terminal |
| Hom | |
| 1 (Type/Class) | Proarrow.Category.Monoidal |
| 2 (Data Constructor) | Proarrow.Category.Monoidal |
| 3 (Type/Class) | Proarrow.Category.Limit |
| 4 (Data Constructor) | Proarrow.Category.Limit |