Data.NaturalNumber
Documentation
Constructors
NZero :: N Zero | |
NSuccessorTo :: N n -> N (SuccessorTo n) |
Constructors
UnknownN :: NaturalNumber n => N n -> UnknownN |
class (NaturalNumber n, Induction n) => NaturalNumber n whereSource
Instances
unknownNToInt :: UnknownN -> IntSource
intToUnknownN :: Int -> UnknownNSource
intToN :: NaturalNumber n => Int -> N nSource