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.

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

Tasty-th automatically generates tasty TestTrees from functions of the current module, using TemplateHaskell. This is a fork the original test-framework-th package, modified to work with tasty instead of test-framework.

To properly work, the doctest package needs plenty of configuration. This library provides the common bits for writing custom Setup.hs files.

This package provides a Tasty provider for Hspec test suites.

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

This package provides a Known Answer Tests (KAT) framework for tasty.

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

To properly work, the doctest package needs plenty of configuration. This library provides the common bits for writing custom Setup.hs files.

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

This library provides catchy combinators for HUnit, see the README.

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).

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

This package provides an IO library for testing interactive command line programs. Proctest aims to simplify interacting with and testing terminal programs, providing convenience functions for starting programs and reading their output. All blocking operations support timeouts so that misbehaving programs cannot block your test pipeline. Find more examples and contribute at https://github.com/nh2/proctest.

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

This package provides contributed Hspec extensions.

HUnit is a unit testing framework for Haskell, inspired by the JUnit tool for Java.

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

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

Nanospec is a lightweight implementation of a subset of Hspec's API with minimal dependencies.

This Haskell package contains generic tests for cryptographic ciphers, and is used by the test runners of various Haskell implementations of cryptographic ciphers.

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

This package provides support for golden testing. A golden test is an IO action that writes its result to a file. To pass the test, this output file should be identical to the corresponding golden file, which contains the correct result for the test.

This library 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.