packages feed

aern2-real-0.2.4.3: aern2-real.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: 9e106106d0bd593449a861fdba5c8ce5eb3de6bab0d62934c6a6bbb41d51783a

name:           aern2-real
version:        0.2.4.3
synopsis:       Real numbers as sequences of MPBalls
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.Complex
      AERN2.Real
      AERN2.Real.CKleenean
      AERN2.Real.Comparisons
      AERN2.Real.Elementary
      AERN2.Real.Field
      AERN2.Real.Limit
      AERN2.Real.Tests
      AERN2.Real.Type
      AERN2.Real.Examples.ClosestPairDist
      AERN2.Real.Examples.Introduction
  other-modules:
      Paths_aern2_real
  hs-source-dirs:
      src
      examples
  default-extensions:
      RebindableSyntax,
      ScopedTypeVariables,
      TypeFamilies,
      TypeOperators,
      ConstraintKinds,
      DefaultSignatures,
      MultiParamTypeClasses,
      FlexibleContexts,
      FlexibleInstances,
      UndecidableInstances
  other-extensions:
      TemplateHaskell
  ghc-options: -Wall
  build-depends:
      QuickCheck
    , aern2-mp >=0.2.4
    , base ==4.*
    , collect-errors >=0.1.5
    , hspec
    , integer-logarithms
    , mixed-types-num >=0.5.5
  default-language: Haskell2010

test-suite aern2-real-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      AERN2.RealSpec
      Paths_aern2_real
  hs-source-dirs:
      test
  default-extensions:
      RebindableSyntax,
      ScopedTypeVariables,
      TypeFamilies,
      TypeOperators,
      ConstraintKinds,
      DefaultSignatures,
      MultiParamTypeClasses,
      FlexibleContexts,
      FlexibleInstances,
      UndecidableInstances
  other-extensions:
      TemplateHaskell
  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
  build-depends:
      QuickCheck
    , aern2-mp >=0.2.4
    , aern2-real
    , base ==4.*
    , collect-errors >=0.1.5
    , hspec
    , integer-logarithms
    , mixed-types-num >=0.5.5
  default-language: Haskell2010