cabal-version: 2.2 name: quickcheck-dynamic version: 3.4.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 extra-source-files: CHANGELOG.md source-repository head type: git location: https://github.com/input-output-hk/quickcheck-dynamic common lang default-language: Haskell2010 default-extensions: ConstraintKinds DataKinds DefaultSignatures DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DerivingVia FlexibleContexts FlexibleInstances GADTs GeneralizedNewtypeDeriving ImportQualifiedPost LambdaCase MultiParamTypeClasses MultiWayIf PatternSynonyms QuantifiedConstraints RankNTypes ScopedTypeVariables StandaloneDeriving TupleSections TypeApplications TypeFamilies TypeOperators ViewPatterns ghc-options: -Wall -Wnoncanonical-monad-instances -Wunused-packages -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -Widentities -Wno-unused-do-bind library import: lang hs-source-dirs: src exposed-modules: Test.QuickCheck.DynamicLogic Test.QuickCheck.DynamicLogic.CanGenerate Test.QuickCheck.DynamicLogic.Internal Test.QuickCheck.DynamicLogic.Quantify Test.QuickCheck.DynamicLogic.SmartShrinking Test.QuickCheck.DynamicLogic.Utils Test.QuickCheck.Extras Test.QuickCheck.StateModel Test.QuickCheck.StateModel.Variables build-depends: , base >=4.7 && <5 , containers , mtl , QuickCheck , random test-suite quickcheck-dynamic-test import: lang type: exitcode-stdio-1.0 main-is: Spec.hs hs-source-dirs: test other-modules: Spec.DynamicLogic.CounterModel Spec.DynamicLogic.Registry Spec.DynamicLogic.RegistryModel Test.QuickCheck.DynamicLogic.QuantifySpec ghc-options: -rtsopts build-depends: , base , containers , mtl , QuickCheck , quickcheck-dynamic , stm , tasty , tasty-quickcheck