cabal-version:  3.0
name:           quickcheck-monoid-subclasses
version:        0.2.0.0
bug-reports:    https://github.com/jonathanknowles/quickcheck-monoid-subclasses/issues
license:        Apache-2.0
license-file:   LICENSE
author:         Jonathan Knowles
maintainer:     mail@jonathanknowles.net
copyright:      2022–2023 Jonathan Knowles
category:       Testing
synopsis:       Testing monoid subclass instances with QuickCheck
description:

  QuickCheck support for testing instances of type classes defined in the
  monoid-subclasses library.

extra-doc-files:
    CHANGELOG.md
    README.md

common dependency-base
    build-depends:base                      >= 4.14.3.0     && < 4.19
common dependency-bytestring
    build-depends:bytestring                >= 0.10.12.0    && < 0.12
common dependency-commutative-semigroups
    build-depends:commutative-semigroups    >= 0.1.0.0      && < 0.2
common dependency-containers
    build-depends:containers                >= 0.6.5.1      && < 0.7
common dependency-hspec
    build-depends:hspec                     >= 2.10.7       && < 2.11
common dependency-monoid-subclasses
    build-depends:monoid-subclasses         >= 1.2.2        && < 1.3
common dependency-pretty-show
    build-depends:pretty-show               >= 1.10         && < 1.11
common dependency-QuickCheck
    build-depends:QuickCheck                >= 2.14.2       && < 2.15
common dependency-quickcheck-classes
    build-depends:quickcheck-classes        >= 0.6.5.0      && < 0.7
common dependency-quickcheck-instances
    build-depends:quickcheck-instances      >= 0.3.28       && < 0.4
common dependency-semigroupoids
    build-depends:semigroupoids             >= 5.3.7        && < 6.1
common dependency-text
    build-depends:text                      >= 1.2.4.1      && < 2.1
common dependency-vector
    build-depends:vector                    >= 0.12.3.1     && < 0.14

common extensions
    default-extensions:
        ConstraintKinds
        DataKinds
        DerivingStrategies
        FlexibleContexts
        FlexibleInstances
        GeneralizedNewtypeDeriving
        LambdaCase
        PolyKinds
        ScopedTypeVariables
        TypeApplications
        ViewPatterns

source-repository head
    type: git
    location: https://github.com/jonathanknowles/quickcheck-monoid-subclasses

library
    import:
      , dependency-base
      , dependency-monoid-subclasses
      , dependency-QuickCheck
      , dependency-quickcheck-classes
      , extensions
    build-depends:
      , internal
    default-language:
        Haskell2010
    hs-source-dirs:
        src/public
    exposed-modules:
        Test.QuickCheck.Classes.Monoid.GCD
        Test.QuickCheck.Classes.Monoid.LCM
        Test.QuickCheck.Classes.Monoid.Monus
        Test.QuickCheck.Classes.Monoid.Null
        Test.QuickCheck.Classes.Semigroup.Cancellative

library internal
    import:
      , dependency-base
      , dependency-pretty-show
      , dependency-QuickCheck
      , dependency-semigroupoids
      , extensions
    default-language:
        Haskell2010
    hs-source-dirs:
        src/internal
    exposed-modules:
        Internal
        Internal.Semigroup.Eq
        Internal.Semigroup.Tuple

library prelude
    import:
      , dependency-base
      , dependency-containers
      , dependency-monoid-subclasses
      , dependency-QuickCheck
      , dependency-quickcheck-classes
      , dependency-quickcheck-instances
      , extensions
    build-depends:
      , internal
      , quickcheck-monoid-subclasses
    default-language:
        Haskell2010
    hs-source-dirs:
        src/prelude
    exposed-modules:
        Internal.Prelude

test-suite test
    import:
      , dependency-base
      , dependency-bytestring
      , dependency-commutative-semigroups
      , dependency-containers
      , dependency-hspec
      , dependency-monoid-subclasses
      , dependency-QuickCheck
      , dependency-quickcheck-classes
      , dependency-quickcheck-instances
      , dependency-text
      , dependency-vector
      , extensions
    build-depends:
      , quickcheck-monoid-subclasses
    default-language:
        Haskell2010
    ghc-options:
        -threaded -with-rtsopts=-N
    main-is:
        Spec.hs
    hs-source-dirs:
        src/test
    other-modules:
        ClassSpec
        SpecHook
        Test.Hspec.Laws
    type:
        exitcode-stdio-1.0
    build-tool-depends:
        hspec-discover:hspec-discover == 2.*