cabal-version: 3.0

name: integer-types
version: 0.1.4.0

category: Numeric
synopsis: Integer, Natural, and Positive

description:
    The base package contains two unbounded integral types:
    Integer (-∞, ∞) and Natural (0, ∞). This package expands that
    integral repertoire with the addition of Positive (1, ∞).

author: Chris Martin
maintainer: Chris Martin, Julie Moronuki

homepage: https://github.com/typeclasses/integer-types
bug-reports: https://github.com/typeclasses/integer-types/issues

license: Apache-2.0
license-file: license.txt

extra-source-files: *.md

common base
    default-language: GHC2021
    ghc-options: -Wall

    default-extensions:
        BlockArguments
        DerivingStrategies
        LambdaCase
        NoImplicitPrelude
        PatternSynonyms
        ViewPatterns

    build-depends:
      , base ^>= 4.16 || ^>= 4.17 || ^>= 4.18
      , deepseq ^>= 1.4.6
      , hashable ^>= 1.4.1
      , quaalude ^>= 0.0

library
    import: base
    hs-source-dirs: library

    exposed-modules:
        Integer
        Integer.AbsoluteDifference
        Integer.BoundedBelow
        Integer.Conversion
        Integer.Finite
        Integer.Increase
        Integer.Integer
        Integer.Natural
        Integer.Positive
        Integer.Sign
        Integer.Signed
        Integer.StrictlyIncrease
        Integer.Subtraction

    other-modules:
        Integer.Positive.Unsafe

test-suite test-integer-types
    import: base
    hs-source-dirs: test
    type: exitcode-stdio-1.0

    default-extensions:
        AllowAmbiguousTypes
        BlockArguments

    build-depends:
      , exceptions ^>= 0.10.4
      , integer-types
      , hedgehog ^>= 1.0.5 || ^>= 1.1 || ^>= 1.2
      , hspec ^>= 2.8.5 || ^>= 2.9 || ^>= 2.10 || ^>= 2.11
      , hspec-hedgehog ^>= 0.0.1

    main-is: Main.hs

    other-modules:
        Integer.Gen

    other-modules:
        Spec.AbsoluteDifference
        Spec.Addition
        Spec.AddOne
        Spec.Conversion
        Spec.Deepseq
        Spec.Enum
        Spec.FiniteConversion
        Spec.Increase
        Spec.Length
        Spec.Multiplication
        Spec.SubtractOne
        Spec.Subtraction
        Spec.Yolo