forked from basvandijk/scientific
-
Notifications
You must be signed in to change notification settings - Fork 0
/
scientific.cabal
160 lines (140 loc) · 4.36 KB
/
scientific.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
name: scientific
version: 0.3.7.0
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
<http://en.wikipedia.org/wiki/Scientific_notation 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
@'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 <v.dijk.bas@gmail.com>
category: Data
build-type: Simple
cabal-version: >=1.10
extra-source-files: changelog
tested-with:
GHC ==7.4.2
|| ==7.6.3
|| ==7.8.4
|| ==7.10.3
|| ==8.0.2
|| ==8.2.2
|| ==8.4.4
|| ==8.6.5
|| ==8.8.4
|| ==8.10.4
|| ==9.0.1
source-repository head
type: git
location: git://github.com/basvandijk/scientific.git
flag bytestring-builder
description:
Depend on the bytestring-builder package for backwards compatibility.
default: False
manual: False
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.Scientific.Unsafe
Data.Text.Lazy.Builder.Scientific
other-modules:
Data.Scientific.Internal
GHC.Integer.Compat
Utils
other-extensions:
BangPatterns
DeriveDataTypeable
Trustworthy
ghc-options: -Wall
build-depends:
base >=4.5 && <5
, binary >=0.5.1
, containers >=0.4.2.1
, deepseq >=1.3.0.0
, hashable >=1.2.7.0
, integer-logarithms >=1.0.3.1
, primitive >=0.7.1.0
, text >=1.2.3.0
if flag(bytestring-builder)
build-depends:
bytestring >=0.9 && <0.10.4
, bytestring-builder >=0.10.4 && <0.11
else
build-depends: bytestring >=0.10.4 && <0.12
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
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
, 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
if flag(bytestring-builder)
build-depends:
bytestring
, bytestring-builder
else
build-depends: bytestring
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