padic-0.1.0.0: padic.cabal

cabal-version: 1.12

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

name:           padic
version:        0.1.0.0
synopsis:       Fast, type-safe p-adic arithmetic
description:    Implementation of p-adic arithmetics on the base of fast modular arithmetics. Module introduces data types for p-adic integers and rationals with arbitrary precision as well as some specific functions (rational reconstruction, p-adic signum function, square roots etc.).
category:       Math, Number Theory
homepage:       https://github.com/samsergey/padic-0.1.0.0
bug-reports:    https://github.com/samsergey/padic-0.1.0.0/issues
author:         Sergey B. Samoylenko <samsergey@yandex.ru>
maintainer:     samsergey@yandex.ru
copyright:      2022 Sergey B. Samoylenko
license:        MIT
license-file:   LICENSE
build-type:     Simple
tested-with:
    GHC ==8.10.7
extra-source-files:
    README.md
    ChangeLog.md

source-repository head
  type: git
  location: https://github.com/samsergey/padic

library
  exposed-modules:
      Math.NumberTheory.Padic
      Math.NumberTheory.Padic.Analysis
      Math.NumberTheory.Padic.Integer
      Math.NumberTheory.Padic.Rational
      Math.NumberTheory.Padic.Types
  other-modules:
      Paths_padic
  hs-source-dirs:
      src
  build-depends:
      base >=4.14 && <4.17
    , constraints ==0.13.*
    , integer-gmp >=1.0.3 && <1.1
    , mod >=0.1.2.2 && <1.3
  default-language: Haskell2010

test-suite padic-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      Test.Analysis
      Test.Base
      Test.Commons
      Test.Integer
      Test.Rational
      Paths_padic
  hs-source-dirs:
      test
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      QuickCheck >=2.14.2 && <2.15
    , base >=4.14
    , constraints ==0.13.*
    , integer-gmp >=1.0.3 && <1.1
    , mod >=0.1.2.2 && <1.3
    , padic
    , tasty >=1.4.2 && <1.5
    , tasty-expected-failure >=0.12 && <0.14
    , tasty-hunit >=0.10 && <0.12
    , tasty-quickcheck >=0.10 && <0.12
  default-language: Haskell2010

benchmark criterion-benchmarks
  type: exitcode-stdio-1.0
  main-is: Bench.hs
  other-modules:
      Paths_padic
  hs-source-dirs:
      bench
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      base >=4.14 && <4.17
    , constraints ==0.13.*
    , criterion >=1.5.12 && <1.5.14
    , integer-gmp >=1.0.3 && <1.1
    , mod >=0.1.2.2 && <1.3
    , padic
  default-language: Haskell2010