QuickCheck 2 elaborazione batch

Question

Il modulo Batch di QuickCheck è stato rimosso con version 2 (1.2.0.1 still has it). Per questo motivo, mi sento sempre come mapM_: fare test multipli insieme è una specie di hacky. Sto trascurando la funzione successore in QuickCheck 2? Esiste un modo canonico per raggruppare test indipendenti?

Answer 1

C'è l'opzione "vai alla grande o vai a casa" per raggruppare tutti i test nel modulo corrente tramite Test.QuickCheck.All. Richiede Template Haskell e tutte le proprietà devono iniziare con prop_. Es:

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