test-sandbox-quickcheck-0.1.0: QuickCheck convenience functions for use with test-sandbox

Safe HaskellNone
LanguageHaskell2010

Test.Sandbox.QuickCheck

Synopsis

Documentation

quickCheck :: PropertyM Sandbox () -> Sandbox () Source

Tests a property and prints the results to stdout.

quickCheckWith :: Args -> PropertyM Sandbox () -> Sandbox () Source

Tests a property, using test arguments, and prints the results to stdout.

verboseCheck :: PropertyM Sandbox () -> Sandbox () Source

Tests a property and prints the results and all test cases generated to stdout.

verboseCheckWith :: Args -> PropertyM Sandbox () -> Sandbox () Source

Tests a property, using test arguments, and prints the results and all test cases generated to stdout.