QuickCheck

QuickCheck is a library for random testing of program properties. The programmer provides a specification of the program, in the form of pro

Official docs outline

Extra Credit builds an outline of QuickCheck's docs the first time your work uses it. Until then, start at the official documentation.

primitive
semigroups In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative binary operation. A semigroup general
mtl MTL is a collection of monad classes, extending the transformers package, using functional dependencies for generic lifting of monadic actio
unordered-containers
attoparsec A fast parser combinator library, aimed particularly at dealing efficiently with network protocols and complicated text/binary file formats.
conduit conduit is a solution to the streaming data problem, allowing for production, transformation, and consumption of streams of data in constant
random This package provides basic pseudo-random number generation, including the ability to split random number generators. In pure code, use Sys
lens This package comes "Batteries Included" with many useful lenses for the types commonly used from the Haskell Platform, and with tools for au
vector . An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework . . It is stru
dlist List-like types supporting O(1) append and snoc operations.
scientific
parsec Parsec is designed from scratch as an industrial-strength parser library. It is simple, safe, well documented (on the package homepage), ha