Z | |
1 (Type/Class) | Data.Category.Discrete |
2 (Data Constructor) | Data.Category.Discrete |
3 (Type/Class) | Data.Category.Omega |
4 (Data Constructor) | Data.Category.Omega |
5 (Data Constructor) | Data.Category.Dialg |
6 (Data Constructor) | Data.Category.Peano |
Z2S | Data.Category.Omega |
Zero | Data.Category.Limit |
zeroComonoid | Data.Category.Omega |
zeroMonoid | Data.Category.Omega |