scientific

Numbers represented using scientific notation

https://github.com/basvandijk/scientific

Version on this page:	0.3.5.2@rev:2
LTS Haskell 21.23:	0.3.7.0@rev:7
Stackage Nightly 2023-12-03:	0.3.7.0@rev:7
Latest on Hackage:	0.3.7.0@rev:7

See all snapshots scientific appears in

BSD-3-Clause licensed by Bas van Dijk

Maintained by Bas van Dijk

This version can be pinned in stack with:scientific-0.3.5.2@sha256:0ae4b55fb19794806e41ea280adbd95e24901d28269a96f11d17203282685973,4882

Module documentation for 0.3.5.2

Data
- Data.ByteString
  - Data.ByteString.Builder
    - Data.ByteString.Builder.Scientific
- Data.Scientific
- Data.Text
  - Data.Text.Lazy
    - Data.Text.Lazy.Builder
      - Data.Text.Lazy.Builder.Scientific

Depends on 10 packages(full list with versions):

base, binary, bytestring, containers, deepseq, hashable, integer-gmp, integer-logarithms, primitive, text

Used by 82 packages in lts-9.21(full list with versions):

Data.Scientific provides the number type Scientific. Scientific numbers are arbitrary precision and space efficient. They are represented using scientific notation. The implementation uses a coefficient c :: Integer and a base-10 exponent e :: Int. A scientific number corresponds to the Fractional number: fromInteger c * 10 ^^ e.

Note that since we're using an Int to represent the exponent these numbers aren't truly arbitrary precision. I intend to change the type of the exponent to Integer in a future release.

The main application of Scientific is to be used as the target of parsing arbitrary precision numbers coming from an untrusted source. The advantages over using Rational for this are that:

A Scientific is more efficient to construct. Rational numbers need to be constructed using % which has to compute the gcd of the numerator and denominator.
Scientific is safe against numbers with huge exponents. For example: 1e1000000000 :: Rational will fill up all space and crash your program. Scientific works as expected:

> read "1e1000000000" :: Scientific
1.0e1000000000

Also, the space usage of converting scientific numbers with huge exponents to Integrals (like: Int) or RealFloats (like: Double or Float) will always be bounded by the target type.