packages feed

aern2-mp-0.2.0.0: aern2-mp.cabal

cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.33.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: 210a1027cd95f3ead272fe18229ed64036a8b1408d9ed7558c82f9655f6b8248

name:           aern2-mp
version:        0.2.0.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.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.1
    , 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.1
    , reflection
    , regex-tdfa
    , template-haskell
  default-language: Haskell2010