Szybkie sprawdzanie 2 przetwarzanie wsadowe

Question

Moduł QuickCheck został usunięty za pomocą version 2 (1.2.0.1 still has it). Z tego powodu zawsze czuję się jak mapM_ - wiele testów razem jest trochę hacky. Czy mogę pominąć funkcję następczą w QuickCheck 2? Czy istnieje kanoniczny sposób grupowania niezależnych testów?

Answer 1

Istnieje opcja "idź do domu" i zgrupuj wszystkie testy w bieżącym module przez Test.QuickCheck.All. Wymaga szablonu Haskell, a wszystkie właściwości muszą zaczynać się od prop_. Ex:

{-# LANGUAGE TemplateHaskell #-} 

import Test.QuickCheck.All 

prop_one, prop_two :: a -> Bool 
prop_one = const True 
prop_two = const True 

runTests :: IO Bool 
runTests = $quickCheckAll 

main :: IO() 
main = runTests >>= \passed -> if passed then putStrLn "All tests passed." 
             else putStrLn "Some tests failed."