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

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

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

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 Haskell package contains generic tests for cryptographic ciphers, and is used by the test runners of various Haskell implementations of cryptographic ciphers.

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

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

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

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

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

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

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 package provides a reader and writer for ASN1 data in raw form with supports for high level forms of ASN1 (BER, and DER).

This package provides a Haskell-only implementation of the MD5 digest (hash) algorithm. This now supports the crypto-api class interface.

This package provides a repository of cryptographic primitives.

• Symmetric ciphers: AES, DES, 3DES, CAST5, Blowfish, Twofish, Camellia, RC4, Salsa, XSalsa, ChaCha.

• Hash: SHA1, SHA2, SHA3, SHAKE, MD2, MD4, MD5, Keccak, Skein, Ripemd, Tiger, Whirlpool, Blake2.

• MAC: HMAC, KMAC, Poly1305

• Asymmetric crypto: DSA, RSA, DH, ECDH, ECDSA, ECC, Curve25519, Curve448, Ed25519, Ed448

• Key Derivation Function: PBKDF2, Scrypt, HKDF, Argon2, BCrypt, BCryptPBKDF

• Cryptographic Random generation: System Entropy, Deterministic Random Generator

• Data related: Anti-Forensic Information Splitter (AFIS)

HsOpenSSL is an OpenSSL binding for Haskell. It can generate RSA and DSA keys, read and write PEM files, generate message digests, sign and verify messages, encrypt and decrypt messages. It has also some capabilities of creating SSL clients and servers. This package is in production use by a number of Haskell based systems and stable. You may also be interested in the tls package, http://hackage.haskell.org/package/tls, which is a pure Haskell implementation of SSL.

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