cabal-version:   2.2
name:            quickcheck-dynamic
version:         1.0.0
license:         Apache-2.0
license-files:
  LICENSE
  NOTICE
  
maintainer:      arnaud.bailly@iohk.io
author:          Ulf Norell
category:        Testing
synopsis:
  A library for stateful property-based testing   
homepage:
  https://github.com/input-output-hk/quickcheck-dynamic#readme

bug-reports:
  https://github.com/input-output-hk/quickcheck-dynamic/issues

description:
  Please see the README on GitHub at <https://github.com/input-output-hk/quickcheck-dynamic#readme>

build-type:      Simple
extra-doc-files: README.md

source-repository head
  type:     git
  location: https://github.com/input-output-hk/quickcheck-dynamic

common lang
  default-language:   Haskell2010
  default-extensions:
    DeriveFoldable
    DeriveFunctor
    DeriveGeneric
    DeriveLift
    DeriveTraversable
    ExplicitForAll
    GeneralizedNewtypeDeriving
    ImportQualifiedPost
    ScopedTypeVariables
    StandaloneDeriving

  ghc-options:
    -Wall -Wnoncanonical-monad-instances -Wunused-packages
    -Wincomplete-uni-patterns -Wincomplete-record-updates
    -Wredundant-constraints -Widentities

library
    import: lang
    hs-source-dirs: src
    exposed-modules:
        Test.QuickCheck.DynamicLogic
        Test.QuickCheck.DynamicLogic.CanGenerate
        Test.QuickCheck.DynamicLogic.Core
        Test.QuickCheck.DynamicLogic.Quantify
        Test.QuickCheck.DynamicLogic.SmartShrinking
        Test.QuickCheck.DynamicLogic.Utils
        Test.QuickCheck.StateModel
    build-depends:
        QuickCheck -any,
        base >=4.7 && <5,
        random -any