QuickCheck 2 Stapelverarbeitung

Question

Das Modul Batch von QuickCheck wurde mit version 2 (1.2.0.1 still has it) entfernt. Aus diesem Grund fühle ich mich immer wie mapM_-mehrere Tests zusammen ist Art von hacky. Überschaue ich die Nachfolgerfunktion in QuickCheck 2? Gibt es eine kanonische Möglichkeit, unabhängige Tests zusammenzufassen?

Answer 1

Es gibt die Möglichkeit, alle Tests im aktuellen Modul über Test.QuickCheck.All zu gruppieren. Es erfordert Template Haskell und alle Eigenschaften müssen mit prop_ beginnen. 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."