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

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

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.

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.

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

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.

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.

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 a Tasty provider for Hspec test suites.

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

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

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.

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.

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

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

This package is a repository of cryptographic primitives for Haskell. It supports a wide range of symmetric ciphers, cryptographic hash functions, public key algorithms, key derivation numbers, cryptographic random number generators, and more.

This Haskell package provides an incremental and one-pass, pure API to the SHA-256 cryptographic hash algorithm, with performance close to the fastest implementations available in other languages.

The implementation is made in C with a haskell FFI wrapper that hides the C implementation.

This Haskell package provides an incremental and one-pass, pure API to the SHA-1 hash algorithm, including HMAC support, with performance close to the fastest implementations available in other languages.

The implementation is made in C with a haskell FFI wrapper that hides the C implementation.

This package provides a simple, fast, self-contained copy of the Ed25519 public-key signature system with a clean interface. It also includes support for detached signatures, and thorough documentation on the design and implementation, including usage guidelines.