cabal-version: 3.0 name: falsify version: 0.2.0 x-revision: 3 synopsis: Property-based testing with internal integrated shrinking description: This library provides property based testing with support for internal integrated shrinking: integrated in the sense of Hedgehog, meaning that there is no need to write a separate shrinker and generator; and internal in the sense of Hypothesis, meaning that this works well even across monadic bind. However, the actual techniques that power @falsify@ are quite different from both of these two libraries. Most users will probably want to use the integration with @@, and use "Test.Tasty.Falsify" as their main entrypoint into the library. The "Test.Falsify.Interactive" module can be used to experiment with the library in @ghci@. license: BSD-3-Clause license-file: LICENSE author: Edsko de Vries maintainer: edsko@well-typed.com copyright: Well-Typed LLP category: Testing build-type: Simple extra-doc-files: CHANGELOG.md tested-with: GHC==8.10.7 , GHC==9.0.2 , GHC==9.2.8 , GHC==9.4.7 , GHC==9.6.3 source-repository head type: git location: https://github.com/well-typed/falsify common lang ghc-options: -Wall -Wredundant-constraints -Widentities build-depends: base >= 4.12 && < 4.21 default-language: Haskell2010 default-extensions: BangPatterns DataKinds DefaultSignatures DeriveAnyClass DeriveFoldable DeriveFunctor DeriveGeneric DeriveTraversable DerivingStrategies DerivingVia DisambiguateRecordFields FlexibleContexts FlexibleInstances GADTs GeneralizedNewtypeDeriving InstanceSigs KindSignatures LambdaCase MultiParamTypeClasses MultiWayIf NamedFieldPuns NumericUnderscores PatternSynonyms QuantifiedConstraints RankNTypes ScopedTypeVariables StandaloneDeriving TupleSections TypeApplications TypeOperators ViewPatterns library import: lang exposed-modules: Test.Falsify.GenDefault Test.Falsify.GenDefault.Std Test.Falsify.Generator Test.Falsify.Interactive Test.Falsify.Predicate Test.Falsify.Property Test.Falsify.Range -- For consistency with the other tasty runners, we places these modules -- in the @Test.Tasty.*@ hiearchy instead of @Test.Falsify.*@. Test.Tasty.Falsify other-modules: Test.Falsify.Internal.Driver Test.Falsify.Internal.Driver.ReplaySeed Test.Falsify.Internal.Driver.Tasty Test.Falsify.Internal.Generator Test.Falsify.Internal.Generator.Definition Test.Falsify.Internal.Generator.Shrinking Test.Falsify.Internal.Property Test.Falsify.Internal.Range Test.Falsify.Internal.SampleTree Test.Falsify.Internal.Search Test.Falsify.Reexported.Generator.Compound Test.Falsify.Reexported.Generator.Function Test.Falsify.Reexported.Generator.Precision Test.Falsify.Reexported.Generator.Shrinking Test.Falsify.Reexported.Generator.Simple Data.Falsify.Integer Data.Falsify.List Data.Falsify.Marked Data.Falsify.Tree hs-source-dirs: src build-depends: , base16-bytestring >= 1.0 && < 1.1 , binary >= 0.8 && < 0.9 , bytestring >= 0.10 && < 0.13 , containers >= 0.6 && < 0.8 , data-default >= 0.7 && < 0.8 , mtl >= 2.2 && < 2.4 , optics-core >= 0.3 && < 0.5 , optparse-applicative >= 0.16 && < 0.19 , selective >= 0.4 && < 0.8 , sop-core >= 0.5 && < 0.6 , splitmix >= 0.1 && < 0.2 , tagged >= 0.8 && < 0.9 , tasty >= 1.3 && < 1.6 , transformers >= 0.5 && < 0.7 , vector >= 0.12 && < 0.14 other-extensions: CPP test-suite test-falsify import: lang type: exitcode-stdio-1.0 hs-source-dirs: test main-is: Main.hs other-modules: TestSuite.GenDefault TestSuite.Sanity.Predicate TestSuite.Sanity.Range TestSuite.Sanity.Selective TestSuite.Prop.Generator.Compound TestSuite.Prop.Generator.Function TestSuite.Prop.Generator.Marking TestSuite.Prop.Generator.Precision TestSuite.Prop.Generator.Prim TestSuite.Prop.Generator.Selective TestSuite.Prop.Generator.Shrinking TestSuite.Prop.Generator.Simple TestSuite.Util.List TestSuite.Util.Tree build-depends: , QuickCheck >= 2.14 && < 2.16 , tasty-hunit >= 0.10 && < 0.11 -- Inherit bounds from the main library , containers , data-default , falsify , selective , tasty