aern2-mp-0.2.4.0: aern2-mp.cabal
cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.34.4.
--
-- see: https://github.com/sol/hpack
--
-- hash: 59805057da90f7bf5d2552756df7e049bc228e506b006e1fb8357f26c3efb204
name: aern2-mp
version: 0.2.4.0
synopsis: Multi-precision ball (interval) arithmetic
description: Please see the README on GitHub at <https://github.com/michalkonecny/aern2/#readme>
category: Math
homepage: https://github.com/michalkonecny/aern2#readme
bug-reports: https://github.com/michalkonecny/aern2/issues
author: Michal Konecny
maintainer: mikkonecny@gmail.com
copyright: 2015-2021 Michal Konecny
license: BSD3
license-file: LICENSE
build-type: Simple
extra-source-files:
README.md
changelog.md
source-repository head
type: git
location: https://github.com/michalkonecny/aern2
library
exposed-modules:
AERN2.Kleenean
AERN2.Limit
AERN2.MP
AERN2.MP.Accuracy
AERN2.MP.Ball
AERN2.MP.Ball.Comparisons
AERN2.MP.Ball.Conversions
AERN2.MP.Ball.Elementary
AERN2.MP.Ball.Field
AERN2.MP.Ball.Limit
AERN2.MP.Ball.PreludeOps
AERN2.MP.Ball.Tests
AERN2.MP.Ball.Type
AERN2.MP.Dyadic
AERN2.MP.Enclosure
AERN2.MP.ErrorBound
AERN2.MP.Float
AERN2.MP.Float.Arithmetic
AERN2.MP.Float.Auxi
AERN2.MP.Float.Conversions
AERN2.MP.Float.Operators
AERN2.MP.Float.Tests
AERN2.MP.Float.Type
AERN2.MP.Precision
AERN2.MP.WithCurrentPrec
AERN2.Norm
AERN2.Normalize
AERN2.Utils.Bench
other-modules:
Paths_aern2_mp
hs-source-dirs:
src
default-extensions:
RebindableSyntax,
ScopedTypeVariables,
DeriveGeneric,
TypeFamilies,
TypeOperators,
ConstraintKinds,
DefaultSignatures,
MultiParamTypeClasses,
FlexibleContexts,
FlexibleInstances,
UndecidableInstances
other-extensions:
TemplateHaskell
ghc-options: -Wall
build-depends:
QuickCheck
, base ==4.*
, cdar-mBound >=0.1.0.0
, collect-errors >=0.1.3
, deepseq
, hspec
, integer-logarithms
, mixed-types-num >=0.5.5
, reflection
, regex-tdfa
, template-haskell
default-language: Haskell2010
test-suite aern2-mp-test
type: exitcode-stdio-1.0
main-is: Spec.hs
other-modules:
AERN2.MP.BallSpec
AERN2.MP.DyadicSpec
AERN2.MP.FloatSpec
Paths_aern2_mp
hs-source-dirs:
test
default-extensions:
RebindableSyntax,
ScopedTypeVariables,
DeriveGeneric,
TypeFamilies,
TypeOperators,
ConstraintKinds,
DefaultSignatures,
MultiParamTypeClasses,
FlexibleContexts,
FlexibleInstances,
UndecidableInstances
other-extensions:
TemplateHaskell
ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
build-depends:
QuickCheck
, aern2-mp
, base ==4.*
, cdar-mBound >=0.1.0.0
, collect-errors >=0.1.3
, deepseq
, hspec
, integer-logarithms
, mixed-types-num >=0.5.5
, reflection
, regex-tdfa
, template-haskell
default-language: Haskell2010