Package: ghc-QuickCheck (2.14.3-bp160.1.12)

QuickCheck è una libreria per il test casuale delle proprietà dei programmi. Il programmatore fornisce una specifica del programma, sotto forma di proprietà che le funzioni devono soddisfare, e QuickCheck verifica quindi che le proprietà valgano in un gran numero di casi generati casualmente. Le specifiche sono espresse in Haskell, usando i combinatori forniti da QuickCheck. QuickCheck fornisce combinatori per definire proprietà, osservare la distribuzione dei dati di test e definire generatori di dati di test. La maggior parte delle funzionalità di QuickCheck è esportata dal modulo principale "Test.QuickCheck". L'eccezione principale è la libreria di test monadico delle proprietà in "Test.QuickCheck.Monadic". Se siete nuovi a QuickCheck, potete consultare le seguenti risorse: * Il <http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html official QuickCheck manual>. È un po' datato in alcuni dettagli e non copre le funzionalità più recenti di QuickCheck, ma è ancora pieno di buoni consigli. * <https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html>, un tutorial dettagliato scritto da un utente di QuickCheck. Il pacchetto companion <https://hackage.haskell.org/package/quickcheck-instances quickcheck-instances> fornisce istanze per tipi nei pacchetti Haskell Platform al costo di dipendenze aggiuntive.