Générer uniquement des entiers positifs avec QuickCheck

Question

Nous avons deux fonctions qui comparent 2 fonctions power différentes, et retournent true si elles retournent la même valeur (sur la même entrée). Ensuite, nous avons 2 autres fonctions qui testent ces fonctions sur 2 listes pour voir s'il y a une valeur qui ne retourne pas vrai.

Mais au lieu d'utiliser des listes qui vont de [1..100], nous aimerions utiliser quickcheck. Donc, il est possible d'obtenir quickcheck pour ne renvoyer que des entiers positifs.

code:

comparePower1 :: Integer -> Integer -> Bool 
comparePower1 n k = power n k == power1 n k 

comparePower2 :: Integer -> Integer -> Bool 
comparePower2 n k = power n k == power2 n k 

testing1 = and [comparePower1 n k | n <- [0..100], k <- [0..100]] 
testing2 = and [comparePower2 n k | n <- [0..100], k <- [0..100]] 

Answer 1

QuickCheck a un support pour Positive numbers, mais pour le bien de ce tutoriel, je vais vous montrer comment créer votre propre générateur. L'une des principales caractéristiques de QuickCheck est que vous pouvez concevoir votre propre générateur pour produire exactement ce dont vous avez besoin. Par exemple

genPos :: Gen Int 
genPos = abs `fmap` (arbitrary :: Gen Int) `suchThat` (> 0) 

Ensuite, vous pouvez créer votre propre liste genereator

genListOfPos :: Gen [Int] 
genListOfPos = listOf genPos 

Enfin, vous pouvez utiliser forAll, passer le générateur et le profit.

main :: IO() 
main = do 
    quickCheck $ forAll genPos $ \x -> x > 0 
    quickCheck $ forAll genListOfPos $ all (> 0)