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.

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

This package provides contributed Hspec extensions.

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

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 provides QuickCheck instances for types provided by the Haskell Platform.

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.

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.

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

This package provides a fancy test runner and 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. The test runner allows filtering tests using regexes, and to interactively inspect the result of golden tests.

This package gives users the ability to define tasty tests from Lua.

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

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

This library exposes internal types and functions that can be used to extend Hspec's functionality.

Tasty is a modern testing framework for Haskell. It lets you combine your unit tests, golden tests, QuickCheck/SmallCheck properties, and any other types of tests into a single test suite.

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

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.

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.

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

This package provides functions for X.509 certificate and revocation list validation.

This library implements the SHA suite of message digest functions, according to NIST FIPS 180-2 (with the SHA-224 addendum), as well as the SHA-based HMAC routines. The functions have been tested against most of the NIST and RFC test vectors for the various functions. While some attention has been paid to performance, these do not presently reach the speed of well-tuned libraries, like OpenSSL.

The package provides the standard types for dealing with the ASN.1 format.

This package provides methods for accessing and storing X.509 collections of certificates, certificate revocation lists, and exception lists.