asN | Data.NaturalNumber |
fromN | Data.NaturalNumber |
intToN | Data.NaturalNumber |
intToUnknownN | Data.NaturalNumber |
N | Data.NaturalNumber |
NaturalNumber | Data.NaturalNumber |
NSuccessorTo | Data.NaturalNumber |
nToInt | Data.NaturalNumber |
NZero | Data.NaturalNumber |
UnknownN | |
1 (Type/Class) | Data.NaturalNumber |
2 (Data Constructor) | Data.NaturalNumber |
unknownNToInt | Data.NaturalNumber |