Descrição
Uma biblioteca Haskell de testes para verificar propriedades de classes padrão e estruturas de dados. Ajuda desenvolvedores a confirmar que instâncias seguem leis algébricas e comportamentos esperados.
Use ao escrever ou manter tipos Haskell com instâncias de typeclass. Verificações de leis aumentam a confiança, mas complementam em vez de substituir testes por exemplos e testes de integração.