Test.Extrapolate.IO

This module is part of Extrapolate, a library for generalization of counter-examples.

QuickCheck-like interface.

Documentation

check :: Testable a => a -> IO ()

Checks a property printing results on stdout

> check $ \xs -> sort (sort xs) == sort (xs::[Int])
+++ OK, passed 360 tests.
> check $ \xs ys -> xs `union` ys == ys `union` (xs::[Int])
*** Failed! Falsifiable (after 4 tests):
[] [0,0]
Generalization:
[] (x:x:xs)

checkResult :: Testable a => a -> IO Bool

Check a property printing results on stdout and returning True on success.

There is no option to silence this function: for silence, you should use holds.

for :: Testable a => (WithOption a -> b) -> Int -> a -> b

withInstances :: Testable a => (WithOption a -> b) -> Instances -> a -> b

withBackground :: Testable a => (WithOption a -> b) -> [Expr] -> a -> b

withConditionSize :: Testable a => (WithOption a -> b) -> Int -> a -> b