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

This library provides a stable version of Hspec which is used to test the in-development version of Hspec.

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

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

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

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.

With the function Test.Tasty.ExpectedFailure.expectFail in the provided module Test.Tasty.ExpectedFailure, you can mark that you expect test cases to fail, and not to pass. This can be used for test-driven development.

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 gives users the ability to define tasty tests from Lua.

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.

This package provides contributed Hspec extensions.

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

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.

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.

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

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 QuickCheck support for the Tasty Haskell test framework.

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.

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 library provides catchy combinators for HUnit, see the README.

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

This package provides generic X509 support for Haskell.

Simple cryptographic random related types: a safe abstraction for CPRNGs.

This Haskell package provides AES cipher implementation.

The modes of operations available are ECB (Electronic code book), CBC (Cipher block chaining), CTR (Counter), XTS (XEX with ciphertext stealing), GCM (Galois Counter Mode).

The AES implementation uses AES-NI when available (on x86 and x86-64 architecture), but fallback gracefully to a software C implementation.

The software implementation uses S-Boxes, which might suffer for cache timing issues. However do notes that most other known software implementations, including very popular one (openssl, gnutls) also uses similar implementation. If it matters for your case, you should make sure you have AES-NI available, or you'll need to use a different implementation.