Peano numbers with attendant bells and whistles. https://github.com/ombocomp/numericpeano/
|Latest on Hackage:||0.2.0.0|
Peano numbers with the expected bells and whistles. The implementation is naive (the memory footprint of a number n is O(n) bytes).
Features: lazy evaluation, i.e. compatibility with infinity, positive as well as negative numbers (N and Z), * instances for the usual typeclasses: Enum, Bounded, Num, Integral, etc.