Safe Haskell | None |
---|---|
Language | Haskell2010 |
- quickCheck :: PropertyM Sandbox () -> Sandbox ()
- quickCheckWith :: Args -> PropertyM Sandbox () -> Sandbox ()
- verboseCheck :: PropertyM Sandbox () -> Sandbox ()
- verboseCheckWith :: Args -> PropertyM Sandbox () -> Sandbox ()
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.