Test.Hspec.Checkers

This module bridges between checkers and hspec. It makes it easy to integrate tests for class laws provided by checkers into test suites written with hspec.

Here's an example testing that lists satisfy the Monoid laws:

import Test.Hspec -- Hspec
import Test.Hspec.Checkers -- Checkers
import Test.QuickCheck.Classes -- Classes

main :: IO ()
main = hspec spec

spec :: Spec
spec = do
  testBatch (monoid (undefined :: [Int]))
 

Documentation

testBatch :: TestBatch -> Spec

Allows to insert a TestBatch into a Spec.