Nat | |
1 (Data Constructor) | Data.Category.NaturalTransformation |
2 (Type/Class) | Data.Category.NaturalTransformation |
NatAsFunctor | |
1 (Data Constructor) | Data.Category.Boolean |
2 (Type/Class) | Data.Category.Boolean |
NatF | |
1 (Data Constructor) | Data.Category.Dialg |
2 (Type/Class) | Data.Category.Dialg |
natId | Data.Category.NaturalTransformation |
NatNum | |
1 (Type/Class) | Data.Category.Dialg |
2 (Type/Class) | Data.Category.Peano |
Next | |
1 (Data Constructor) | Data.Category.Discrete |
2 (Type/Class) | Data.Category.Discrete |
Nil | Data.Category.Discrete |