Package: ghc-QuickCheck (2.14.3-150500.3.3.2)

QuickCheck est une bibliothèque pour les tests aléatoires des propriétés de programmes. Le programmeur fournit une spécification du programme, sous forme de propriétés que les fonctions doivent satisfaire, et QuickCheck vérifie ensuite que les propriétés sont valides dans un grand nombre de cas générés aléatoirement. Les spécifications sont exprimées en Haskell, à l'aide de combinateurs fournis par QuickCheck. QuickCheck fournit des combinateurs pour définir des propriétés, observer la distribution des données de test et définir des générateurs de données de test. La majeure partie des fonctionnalités de QuickCheck est exportée par le module principal "Test.QuickCheck". La principale exception est la bibliothèque de tests monades de propriétés dans "Test.QuickCheck.Monadic". Si vous débutez avec QuickCheck, vous pouvez consulter les ressources suivantes : * Le <http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html official QuickCheck manual>. Il est un peu daté sur certains détails et ne couvre pas les fonctionnalités plus récentes de QuickCheck, mais reste plein de bons conseils. * <https://begriffs.com/posts/2017-01-14-design-use-quickcheck.html>, un tutoriel détaillé écrit par un utilisateur de QuickCheck. Le paquet compagnon <https://hackage.haskell.org/package/quickcheck-instances quickcheck-instances> fournit des instances pour les types des paquets Haskell Platform au prix de dépendances supplémentaires.