name: scientific version: 0.3.8.0 x-revision: 1 synopsis: Numbers represented using scientific notation description: "Data.Scientific" provides the number type 'Scientific'. Scientific numbers are arbitrary precision and space efficient. They are represented using . 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 @'Integral's@ (like: 'Int') or @'RealFloat's@ (like: 'Double' or 'Float') will always be bounded by the target type. homepage: https://github.com/basvandijk/scientific bug-reports: https://github.com/basvandijk/scientific/issues license: BSD3 license-file: LICENSE author: Bas van Dijk maintainer: Bas van Dijk category: Data build-type: Simple cabal-version: >=1.10 extra-source-files: changelog tested-with: GHC ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.5 || ==9.8.2 || ==9.10.1 source-repository head type: git location: git://github.com/basvandijk/scientific.git flag integer-simple description: Use the integer-simple package instead of integer-gmp default: False library exposed-modules: Data.ByteString.Builder.Scientific Data.Scientific Data.Text.Lazy.Builder.Scientific other-modules: GHC.Integer.Compat Utils other-extensions: BangPatterns DeriveDataTypeable Trustworthy ghc-options: -Wall build-depends: base >=4.5 && <4.21 , binary >=0.8.6.0 && <0.9 , bytestring >=0.10.8.2 && <0.13 , containers >=0.6.0.1 && <0.8 , deepseq >=1.4.4.0 && <1.6 , hashable >=1.4.4.0 && <1.6 , integer-logarithms >=1.0.3.1 && <1.1 , primitive >=0.9.0.0 && <0.10 , template-haskell >=2.14.0.0 && <2.23 , text >=1.2.3.0 && <1.3 || >=2.0 && <2.2 if impl(ghc >=9.0) build-depends: base >=4.15 if flag(integer-simple) build-depends: invalid-cabal-flag-settings <0 else if flag(integer-simple) build-depends: integer-simple else build-depends: integer-gmp if impl(ghc <8) other-extensions: TemplateHaskell if impl(ghc >=9.0) -- these flags may abort compilation with GHC-8.10 -- https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3295 ghc-options: -Winferred-safe-imports -Wmissing-safe-haskell-mode hs-source-dirs: src default-language: Haskell2010 test-suite test-scientific type: exitcode-stdio-1.0 hs-source-dirs: test main-is: test.hs default-language: Haskell2010 ghc-options: -Wall build-depends: base , binary , bytestring , QuickCheck >=2.14.2 , scientific , smallcheck >=1.0 , tasty >=1.4.0.1 , tasty-hunit >=0.8 , tasty-quickcheck >=0.8 , tasty-smallcheck >=0.2 , text benchmark bench-scientific type: exitcode-stdio-1.0 hs-source-dirs: bench main-is: bench.hs default-language: Haskell2010 ghc-options: -O2 build-depends: base , criterion >=0.5 , scientific