aern2-mp: Multi-precision floats via MPFR

[ bsd3, library, math ] [ Propose Tags ]

Arbitrary-precision dyadic numbers and interval arithmetic, via the types:

  • Dyadic: variable-precision floats with exact ring operations

  • MPBall: float ± error bound with field & elementary (interval-like) operations

By default, using hmpfr when compiling with ghc >=7.10. Older versions of ghc are no longer tested.

Set flag MPFRRounded to bind MPFR not via hmpfr but via a tweaked version of package rounded:

This backend is considerably faster than hmpfr. It is likely to become the default in future.

There is a plan to add an Integer-only backend so that this library can be used without MPFR.


Automatic Flags

Use a MPFR backend (default); Integer backend is planned


Use rounded (Numeric.RoundedSimple) as MPFR backend (not default)


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],,,,,, 0.1.4,,,,,,,,,,,,,,,,, (info)
Change log
Dependencies base (>=4 && <5), convertible, haskell-mpfr (>=0.1 && <0.2), hmpfr (>=0.4 && <0.5), hspec, integer-gmp (<0.6 || >=1.0 && <1.1), integer-logarithms, lens, mixed-types-num, QuickCheck, regex-tdfa, rounded (>=0.1 && <0.2), template-haskell [details]
License BSD-3-Clause
Copyright (c) 2015-2017 Michal Konecny
Author Michal Konecny
Maintainer Michal Konecny <>
Revised Revision 1 made by MichalKonecny at 2017-11-14T16:46:43Z
Category Math
Home page
Source repo head: git clone
Uploaded by MichalKonecny at 2017-11-14T16:22:35Z
Distributions LTSHaskell:, NixOS:, Stackage:
Reverse Dependencies 5 direct, 0 indirect [details]
Downloads 7386 total (27 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-11-14 [all 1 reports]