ireal: Real numbers and intervals with not so inefficient exact arithmetic.

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.


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
Change logNone available
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