Nur positive ganze Zahlen mit QuickCheck

Question

Wir haben zwei Funktionen, die 2 verschiedene power Funktionen vergleichen und True zurückgeben, wenn sie den gleichen Wert (am selben Eingang) zurückgeben. Dann haben wir 2 andere Funktionen, die diese Funktionen gegen 2 Listen testen, um zu sehen, ob es irgendeinen Wert gibt, der nicht wahr zurückgibt.

Aber anstatt Listen, die [1..100] Bereiche verwenden, möchten wir Quickcheck verwenden. So ist es möglich, schnell zu überprüfen, dass nur positive Ganzzahlen zurückgegeben werden.

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

Quick Check hat die Unterstützung für Positive numbers, aber aus Gründen der diesem Tutorial werde ich Ihnen zeigen, wie Sie Ihre eigenen Generator erstellen. Eine der Haupteigenschaften von QuickCheck ist, dass Sie Ihren eigenen Generator entwerfen können, um genau das auszugeben, was Sie brauchen. Zum Beispiel

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

Dann können Sie Ihre eigene Liste genereator

genListOfPos :: Gen [Int] 
genListOfPos = listOf genPos 

Schließlich erstellen Sie forAll verwenden können, um den Generator und Gewinn übergeben.

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