This library contains two functions: defaultMainGenerator and testGroupGenerator.

defaultMainGenerator will extract all functions beginning with case_, prop_, or test_ in the module and put them in a testGroup.

testGroupGenerator is like defaultMainGenerator but without defaultMain. It is useful if you need a function for the testgroup (e.g. if you want to be able to call the testgroup from another module).

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 defined in the QuickCheck library.

A tasty ingredient to output test results in XML, using the Ant schema. This XML can be consumed by the Jenkins continuous integration framework.

This package provides HUnit support for the test-framework package.

This package provides HUnit support for the Tasty Haskell test framework.

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.

This package provides a Tasty provider for Hspec test suites.

Feat (Functional Enumeration of Algebraic Types) provides enumerations as functions from natural numbers to values (similar to toEnum but for any algebraic data type). This can be used for SmallCheck-style systematic testing, QuickCheck-style random testing, and hybrids of the two.

This package allows tests such as QuickCheck properties and HUnit test cases to be assembled into test groups, run in parallel (but reported in deterministic order, to aid diff interpretation) and filtered and controlled by command line options. All of this comes with colored test output, progress reporting and test statistics output.

This package provides QuickCheck instances for types provided by the Haskell Platform.

Hedgehog is a property-based testing system, in the spirit of QuickCheck. Hedgehog uses integrated shrinking, so shrinks obey the invariants of generated values by construction.

To get started quickly, see the examples: https://github.com/hedgehogqa/haskell-hedgehog/tree/master/hedgehog-example

Parts of doctest exposed as library. For use with the doctest-extract utility.

This package allows on to run Doctests in a Cabal.Test.exitcode-stdio environment.

This package provides the means for integrating the hedgehog testing library with the tasty testing framework.

Integrate @inspection-testing@ into @tasty@ test suites.

This Haskell library provides convenient assertions with pretty-printed failure messages for QuickCheck properties, that are similar to those of HUnit.

This package provides an orphan instance that allows you to use HUnit assertions as QuickCheck properties.

This package lets programmers use SmallCheck properties in Haskell's test-framework. New projects should use ghc-tasty-smallcheck instead.

hspec-discover is a tool which automatically discovers and runs Hspec tests.

This package adds the ability to run tests by filtering the test tree based on the result of a previous test run. You can use this to run only those tests that failed in the last run, or to only run the tests that have been added since previous test run.

This package provides generator and shrink functions for testing Unicode-related software.

This package provides QuickCheck2 support for the test-framework package.

Some carefully crafted libraries make promises to their users beyond functionality and performance.

Examples are: Fusion libraries promise intermediate data structures to be eliminated. Generic programming libraries promise that the generic implementation is identical to the hand-written one. Some libraries may promise allocation-free or branch-free code.

Conventionally, the modus operandi in all these cases is that the library author manually inspects the (intermediate or final) code produced by the compiler. This is not only tedious, but makes it very likely that some change, either in the library itself or the surrounding eco-system, breaks the library's promised without anyone noticing.

This package provides a disciplined way of specifying such properties, and have them checked by the compiler. This way, this checking can be part of the regular development cycle and regressions caught early.

See the documentation in "Test.Inspection" or the project webpage for more examples and more information.

Property based testing libraries such as QuickCheck tend to include type modifiers. Most of them are used to quantify over subsets of a type. This library is intended to supply these modifiers to be used by testing libraries, in an effort to make properties more portable between testing frameworks.