natural-number-1.0: Natural numbers tagged with a type-level representation of the number.

Index

asNData.NaturalNumber
fromNData.NaturalNumber
intToNData.NaturalNumber
intToUnknownNData.NaturalNumber
NData.NaturalNumber
NaturalNumberData.NaturalNumber
NSuccessorToData.NaturalNumber
nToIntData.NaturalNumber
NZeroData.NaturalNumber
UnknownN 
1 (Type/Class)Data.NaturalNumber
2 (Data Constructor)Data.NaturalNumber
unknownNToIntData.NaturalNumber