Index - U
| U | Proarrow.Category.Instance.Unit |
| UN | Proarrow.Core |
| UnCo | Proarrow.Category.Double |
| uncurry | Proarrow.Object.Exponential |
| uncurry' | Proarrow.Object.Exponential |
| UNIT | Proarrow.Category.Instance.Unit |
| Unit | |
| 1 (Type/Class) | Proarrow.Category.Monoidal |
| 2 (Type/Class) | Proarrow.Category.Instance.Unit |
| 3 (Data Constructor) | Proarrow.Category.Instance.Unit |
| unit | |
| 1 (Function) | Proarrow.Category.Bicategory |
| 2 (Function) | Proarrow.Adjunction, Proarrow |
| unitFromStarUnit | Proarrow.Adjunction, Proarrow |
| unitor | Proarrow.Category.Monoidal.Optic |
| unitorInv | Proarrow.Category.Monoidal.Optic |
| unlift2Forget | Proarrow.Category.Instance.Linear |
| unlift2Free | Proarrow.Category.Instance.Linear |
| UnOp | Proarrow.Category.Double |
| unur | Proarrow.Category.Instance.Linear |
| Unweighted | |
| 1 (Type/Class) | Proarrow.Category.Limit |
| 2 (Type/Class) | Proarrow.Category.Colimit |
| Update | Proarrow.Category.Monoidal.Optic |
| Updating | Proarrow.Category.Monoidal.Optic |
| Ur | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |