@hackage falsify0.3.0
Property-based testing with internal integrated shrinking
Categories
License
BSD-3-Clause
Maintainer
edsko@well-typed.com
Links
Versions
Installation
Tested Compilers
Dependencies (15)
- base >=4.12 && <4.23
- base16-bytestring >=1.0 && <1.1
- binary >=0.8 && <0.9
- bytestring >=0.10 && <0.13
- containers >=0.6 && <0.9
- data-default >=0.7 && <0.9 Show all…
Dependents (14)
@hackage/dahdit-test, @hackage/changeset, @hackage/apply-merge, @hackage/webdriver-precore, @hackage/daytripper, @hackage/dahdit-midi, Show all…
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
tasty,
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.