quickCheck -is:module
Tests a property and prints the results to
stdout.
By default up to 100 tests are performed, which may not be enough to
find all bugs. To run more tests, use
withMaxSuccess.
If you want to get the counterexample as a Haskell value, rather than
just printing it, try the
quickcheck-with-counterexamples
package.
Perform an efficient check on a string, to quickly determine if the
string is in a particular normalization form.
A
Nothing result indicates that a definite answer could not be
determined quickly, and a more thorough check is required, e.g. with
isNormalized. The user may have to convert the string to its
normalized form and compare the results.
A result of
Just True or
Just False
indicates that the string definitely is, or is not, in the given
normalization form.
Create a Hedgehog
Gen from a QuickCheck
Gen.
By default the
Gen created will not have any shrinking, you can
use
Gen.shrink if you have a shrink function which you
would like to apply.
Automatic testing of Haskell programs
QuickCheck is a library for random testing of program properties. The
programmer provides a specification of the program, in the form of
properties which functions should satisfy, and QuickCheck then tests
that the properties hold in a large number of randomly generated
cases. Specifications are expressed in Haskell, using combinators
provided by QuickCheck. QuickCheck provides combinators to define
properties, observe the distribution of test data, and define test
data generators.
Most of QuickCheck's functionality is exported by the main
Test.QuickCheck module. The main exception is the monadic
property testing library in
Test.QuickCheck.Monadic.
If you are new to QuickCheck, you can try looking at the following
resources:
The
quickcheck-instances companion package provides instances
for types in Haskell Platform packages at the cost of additional
dependencies.
Test all properties in the current module. The name of the property
must begin with
prop_. Polymorphic properties will be
defaulted to
Integer. Returns
True if all tests
succeeded,
False otherwise.
To use
quickCheckAll, add a definition to your module along the
lines of
return []
runTests = $quickCheckAll
and then execute
runTests.
Note: the bizarre
return [] in the example above is needed on
GHC 7.8 and later; without it,
quickCheckAll will not be able
to find any of the properties. For the curious, the
return []
is a Template Haskell splice that makes GHC insert the empty list of
declarations at that point in the program; GHC typechecks everything
before the
return [] before it starts on the rest of the
module, which means that the later call to
quickCheckAll can
see everything that was defined before the
return []. Yikes!
Tests a property, produces a test result, and prints the results to
stdout.
Tests a property, using test arguments, and prints the results to
stdout.
Tests a property, using test arguments, produces a test result, and
prints the results to stdout.
Common quickcheck instances
QuickCheck instances.
The goal is to supply QuickCheck instances for types provided by the
Haskell Platform.
Since all of these instances are provided as orphans, I recommend that
you do not use this library within another library module, so that you
don't impose these instances on down-stream consumers of your code.
QuickCheck common typeclasses
This library provides QuickCheck properties to ensure that typeclass
instances adhere to the set of laws that they are supposed to. There
are other libraries that do similar things, such as
`genvalidity-hspec` and
checkers. This library differs from
other solutions by not introducing any new typeclasses that the user
needs to learn.
Note: on GHC < 8.5, this library uses the higher-kinded
typeclasses (
Data.Functor.Classes.Show1,
Data.Functor.Classes.Eq1,
Data.Functor.Classes.Ord1,
etc.), but on GHC >= 8.5, it uses `-XQuantifiedConstraints` to
express these constraints more cleanly.
Alternative arbitrary instance for Text
The usual Arbitrary instance for Text (in
quickcheck-instances)
only has single-byte instances and so isn't an ideal representation of
a valid UTF-8 character. This package has generators for one-, two-
and three-byte UTF-8 characters (all that are currently in use).
QuickCheck common typeclasses from `base`
This libary is a minimal variant of `quickcheck-classes` that only
provides laws for typeclasses from
base. The main purpose of
splitting this out is so that
primitive can depend on
`quickcheck-classes-base` in its test suite, avoiding the circular
dependency that arises if `quickcheck-classes` is used instead.
This library provides QuickCheck properties to ensure that typeclass
instances adhere to the set of laws that they are supposed to. There
are other libraries that do similar things, such as
`genvalidity-hspec` and
checkers. This library differs from
other solutions by not introducing any new typeclasses that the user
needs to learn.
Note: on GHC < 8.5, this library uses the higher-kinded
typeclasses (
Data.Functor.Classes.Show1,
Data.Functor.Classes.Eq1,
Data.Functor.Classes.Ord1,
etc.), but on GHC >= 8.5, it uses `-XQuantifiedConstraints` to
express these constraints more cleanly.
HUnit like assertions for QuickCheck
Library with convenient assertions for QuickCheck properties like in
HUnit
Generator and shrink functions for testing
Unicode-related software.
Generator and shrink functions for testing Unicode-related software.
Test properties and default-mains for QuickCheck
This package contains definitions of test properties and default-mains
using QuickCheck library.
Use HUnit assertions as QuickCheck properties
This package provides an orphan instance that allows you to use HUnit
assertions as QuickCheck properties.
Generic typeclasses for generating arbitrary ADTs
Improve arbitrary value generation for ADTs
Not on Stackage, so not searched.
QuickCheck properties for standard type classes. QuickCheck properties for standard type classes
Not on Stackage, so not searched.
arbitrary instances for small enum types
QuickCheck extension for higher-order properties
Enhancements for property-based testing of higher-order properties.
- Associate types to their representations with the
Constructible class.
- Testable' class, variant of Testable with an
improved instance for (->).
- Representation of higher-order functions (via test-fun).
- Testable equality TestEq.
- Explicit testable type of Equation.
See also README.