Z | |
1 (Type/Class) | Proarrow.Category.Instance.Simplex |
2 (Type/Class) | Proarrow.Category.Instance.Mat |
3 (Type/Class) | Proarrow.Category.Instance.Fin |
ZEQ | Proarrow.Category.Instance.Fin |
Zero | Proarrow.Category.Instance.Zero |
zero | |
1 (Function) | Proarrow.Category.Instance.Mat |
2 (Function) | Proarrow.Category.Instance.Kleisli |
ZLT | Proarrow.Category.Instance.Fin |
ZZ | Proarrow.Category.Instance.Simplex |
ZZZ | Proarrow.Category.Instance.Simplex |