ireal: Real numbers and intervals with relatively efficient exact arithmetic.

[ bsd3, data, library, math- ] [ Propose Tags ]

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). Significantly more efficient than other Haskell modules for exact real arithmetic that we are aware of. 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


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS] 0.1, 0.2, 0.2.1, 0.2.2, 0.2.3
Change log changelog.txt
Dependencies base (>=3 && <5), QuickCheck (>=2.4) [details]
License BSD-3-Clause
Author Björn von Sydow (
Maintainer Björn von Sydow (
Category Data, Math
Source repo head: git clone
Uploaded by sydow at 2015-10-31T19:14:15Z
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 3562 total (20 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-10-31 [all 1 reports]