In favour of


foundational type classes for approximating exact real numbers

Latest on Hackage:2011.1.0.1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow to host generated Haddocks.

BSD-3-Clause licensed by Michal Konecny (Aston University)
Maintained by

Type-classes abstracting various kinds of approximations for exact entities:

  • those that are near to the exact value due to limited granularity (eg floating point numbers with fixed granularity (aka precision) approximating real numbers or bounded-degree polynomials with floating point coefficients approximating continuous functions)

  • those that somehow enclose the exact entity, usually using a pair of endpoints

Type classes are provided to capture:

  • the partial, sometimes semi-decided, natural ordering (<=) used in relation to nearness

  • the partial, sometimes semi-decided, refinement ordering (⊑) used in relation to enclosure

This package does not compile with ghc 7.0.* due to a compiler bug that has been fixed for the 7.2.1 release. Haddock documentation can be found via


2011.1.0.1: 11th May 2011
* minor update of dependencies and documentation to reflect inability to build with ghc 7.0.*
2011.1: 6th May 2011
* initial release of AERN-Basics

comments powered byDisqus