क्विक चेक 2 बैच प्रोसेसिंग

Question

Batch क्विक चेक के मॉड्यूल को version 2 (1.2.0.1 still has it) से हटा दिया गया था। इस वजह से, मैं हमेशा mapM_ की तरह महसूस कर रहा हूं- कई परीक्षण एक साथ हैकी की तरह है। क्या मैं क्विक चेक 2 में उत्तराधिकारी सुविधा देख रहा हूं? स्वतंत्र परीक्षणों को एक साथ समूहित करने का एक कैननिक तरीका है?

Answer 1

Test.QuickCheck.All के माध्यम से वर्तमान मॉड्यूल में सभी परीक्षणों को एक साथ समूहित करने का 'बड़ा या घर जाओ' विकल्प है। इसके लिए टेम्पलेट हास्केल की आवश्यकता है, और सभी गुण 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."