@hackage ireal0.1

Real numbers and intervals with not so inefficient exact arithmetic.

This library provides a type IReal of real numbers and intervals with arbitrary precision arithmetic, instance declarations for the standard numeric classes, Eq and Ord (the two latter non-total for computability reasons). Reasonably efficient in comparison with other Haskell modules for exact real arithmetic. Does not depend on non-Haskell libraries. A QuickCheck test suite, documentation, and a number of small example applications in validated numerics are available at https://github.com/sydow/ireal.git.