Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 = dotestBatch
(monoid
(undefined :: [Int]))