@hackage / numericpeano

Peano numbers with attendant bells and whistles.

Latest0.2.0.0

Metadata

Last updated 29 Dec 2014, by jtapolczai
License Apache-2.0
Categories Mathematics
Maintained by: janos.tapolczai@gmail.com
Lottery factor: 0

Links

Homepage
Documentation
No source repository

Installation

Add this line in your cabal file

Readme

numericpeano

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.