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

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 library exposes internal types and functions that can be used to extend Hspec's functionality.

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.

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.

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

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

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

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 allows on to run Doctests in a Cabal.Test.exitcode-stdio environment.

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

Integrate @inspection-testing@ into @tasty@ test suites.

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.

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.

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

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

This module provides Haskell bindings and extensions to the curve25519-donna codebase. It's a pretty straightforward implementation of the basic cryptographic routines you'd want from a project that uses curve25519: key generation, and key agreement. For further functionality, you'll want to look elsewhere.

This package provides a native Haskell TLS and SSL protocol implementation for server and client. It provides a high-level implementation of a sensitive security protocol, eliminating a common set of security issues through the use of the advanced type system, high level constructions and common Haskell features. It currently implements the SSL3.0, TLS1.0, TLS1.1 and TLS1.2 protocol, and supports RSA and Ephemeral (Elliptic curve and regular) Diffie Hellman key exchanges, and many extensions.

This library provides functions to read and write X509 certificates.

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)

This package provides conduit interfaces for some of cryptonite's implementations of cryptographic primitives.