QuickCheck 2バッチ処理QuickCheckの

Question

Batchモジュールはversion 2（1.2.0.1 still has it）で除去しました。このため、私はいつも一緒にハックの一種である複数のテストを-ing mapM_のように感じています。 QuickCheck 2の後継機能を見落としていますか？独立したテストをまとめてグループ化する標準的な方法はありますか？

Answer 1

Test.QuickCheck.Allを介して一緒に現在のモジュール内のすべてのテストをグループ化する「ビッグ行くか、家に帰る」オプションがあります。これは、テンプレートのHaskellのを必要とし、すべてのプロパティがprop_で始まる必要があります。例：

{-# 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."