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

Versions 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 Sat Oct 31 19:14:15 UTC 2015
Distributions NixOS:0.2.3
Downloads 1668 total (18 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-10-31 [all 1 reports]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees