Descrição
Uma biblioteca Haskell de testes para verificar valores parciais e infinitos. Ajuda desenvolvedores a raciocinar sobre avaliação preguiçosa, bottoms, valores undefined e propriedades que testes comuns podem não perceber.
Use quando a correção da biblioteca depende de preguiça ou comportamento de terminação. Esses testes são avançados, mas podem detectar bugs sutis em código funcional puro.