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.

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.

This library provides the Hspec testing framework for Haskell, inspired by the Ruby library RSpec.

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 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 provides a Known Answer Tests (KAT) framework for tasty.

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

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

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

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

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

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

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

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

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 provides the means for integrating the hedgehog testing library with the tasty testing framework.

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

This library provides functions to read and write X509 certificates.

This Haskell package provides implementation of MD5.

This library provides readers and writers for the Privacy Enhanced Mail (PEM) format.

This package provides Haskell tools for X.509 certificate and Certificates revocation list (CRL) validation.

This library contains io-streams routines for secure networking using OpenSSL (by way of HsOpenSSL).

This Haskell package provides basic typeclasses and types for symmetric ciphers.

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