rounded: Correctly-rounded arbitrary-precision floating-point arithmetic
This package provides numeric instances for MPFR that use
"Implicit Configurations" from
http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf
to choose a Rounding
and Precision
. For those that do not want to
use reflection, explicit instances are provided for common precisions
and for the built-in rounding modes.
This package should work correctly with GHC 8.4.4 or later.
>>>
import Numeric.Rounded
>>>
:set -XDataKinds
>>>
exp pi :: Rounded TowardZero 512
23.140692632779269005729086367948547380266106242600211993445046409524342350690452783516971997067549219675952704801087773144428044414693835844717445879609842
rounded version 1.x is for MPFR version 4.0 and above.
[Skip to Readme]
Modules
- Numeric
- MPFR
- Numeric.MPFR.Raw
- Numeric.MPFR.Raw.Safe
- Numeric.MPFR.Raw.Unsafe
- Numeric.MPFR.Types
- Numeric.MPFR.Raw
- Numeric.Rounded
- Numeric.Rounded.Interval
- Numeric.Rounded.Simple
- MPFR
Downloads
- rounded-1.1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1, 0.1.0.1, 0.2, 0.3, 1.0, 1.1, 1.1.1 |
---|---|
Change log | CHANGELOG.markdown |
Dependencies | base (>=4.11 && <4.20), ghc-prim (>=0.4 && <0.12), hgmp (>=0.1.1 && <0.2), long-double (>=0.1 && <0.2), reflection (>=2.1.2 && <2.2) [details] |
Tested with | ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.7, ghc ==9.0.2, ghc ==9.2.8, ghc ==9.4.7, ghc ==9.6.3 |
License | BSD-3-Clause |
Copyright | Copyright (C) 2012-2014 Edward A. Kmett, Daniel G. Peebles; Copyright (C) 2013-2019 Claude Heiland-Allen |
Author | Edward A. Kmett, Daniel G. Peebles, Claude Heiland-Allen |
Maintainer | Claude Heiland-Allen <claude@mathr.co.uk> |
Category | Numeric, Math |
Home page | https://github.com/ekmett/rounded |
Bug tracker | https://github.com/ekmett/rounded/issues |
Source repo | head: git clone git://github.com/ekmett/rounded.git this: git clone git://github.com/ekmett/rounded.git(tag rounded-1.1.1) |
Uploaded | by ClaudeHeilandAllen at 2023-10-02T13:18:49Z |
Distributions | |
Reverse Dependencies | 2 direct, 5 indirect [details] |
Downloads | 2553 total (9 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2023-10-02 [all 2 reports] |