rounded/rounded.cabal at master · ekmett/rounded · GitHub

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
name:               rounded
version:            1.1.1
synopsis:           Correctly-rounded arbitrary-precision floating-point arithmetic
homepage:           https://github.com/ekmett/rounded
bug-reports:        https://github.com/ekmett/rounded/issues
license:            BSD3
license-file:       LICENSE
author:             Edward A. Kmett, Daniel G. Peebles, Claude Heiland-Allen
maintainer:         Claude Heiland-Allen <claude@mathr.co.uk>
copyright:          Copyright (C) 2012-2014 Edward A. Kmett, Daniel G. Peebles;
                    Copyright (C) 2013-2019 Claude Heiland-Allen
category:           Numeric, Math
build-type:         Simple
cabal-version:      1.22
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
description:
    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.

extra-doc-files: README.markdown CHANGELOG.markdown
extra-source-files: test.hs test.txt

source-repository head
  type: git
  location: git://github.com/ekmett/rounded.git

source-repository this
  type: git
  location: git://github.com/ekmett/rounded.git
  tag: rounded-1.1.1

library
  exposed-modules:
    Numeric.Rounded
    Numeric.Rounded.Interval
    Numeric.Rounded.Simple
    Numeric.MPFR.Types
    Numeric.MPFR.Raw
    Numeric.MPFR.Raw.Safe
    Numeric.MPFR.Raw.Unsafe

  other-modules:
    Numeric.Rounded.Internal
    Numeric.Rounded.Rounding
    Numeric.Rounded.Precision

  build-depends:
    base             >= 4.11    && < 4.23,
    ghc-prim         >= 0.4     && < 0.14,
    reflection       >= 2.1.2   && < 2.2,
    hgmp             >= 0.1.1   && < 0.2,
    long-double      >= 0.1     && < 0.2

  ghc-options:     -Wall -fspec-constr -funbox-strict-fields -fno-warn-unticked-promoted-constructors
  build-tools:     hsc2hs

  extra-libraries: mpfr gmp
  pkgconfig-depends: mpfr >= 4.0.0, gmp

  hs-source-dirs:  src
  c-sources:       cbits/wrappers.c

  default-language: Haskell2010
  other-extensions:
    CPP
    DataKinds
    DeriveDataTypeable
    DeriveGeneric
    EmptyDataDecls
    FlexibleContexts
    FlexibleInstances
    ForeignFunctionInterface
    GeneralizedNewtypeDeriving
    KindSignatures
    MagicHash
    MultiParamTypeClasses
    PatternSynonyms
    PolyKinds
    Rank2Types
    RankNTypes
    RoleAnnotations
    ScopedTypeVariables
    TypeFamilies
    TypeSynonymInstances
    UnboxedTuples
    UndecidableInstances

test-suite rounded-test
  type: exitcode-stdio-1.0
  main-is: test.hs
  build-depends:
    base,
    long-double,
    rounded
  default-language: Haskell2010
  other-extensions:
    DataKinds
    ScopedTypeVariables