Descrição
Fornece o QuickCheck para testes automáticos de programas Haskell. Desenvolvedores descrevem propriedades que devem sempre ser verdadeiras, e o QuickCheck gera muitas entradas de teste para procurar contraexemplos.
É útil para bibliotecas, parsers, algoritmos, estruturas de dados e qualquer código em que ampla cobertura de entradas importa. É uma biblioteca de testes e roda pelas suítes de teste do projeto.