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 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