The ireal package


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. The package includes a QuickCheck test suite, documentation, and a number of small example applications in validated numerics.


Versions0.1, 0.1, 0.2, 0.2.1, 0.2.2, 0.2.3
Dependenciesbase (>=3 && <5), QuickCheck (>=2.4) [details]
AuthorBjörn von Sydow (
MaintainerBjörn von Sydow (
CategoryData, Math
Source repositoryhead: git clone
UploadedTue Dec 9 19:37:45 UTC 2014 by sydow




Maintainers' corner

For package maintainers and hackage trustees