Safe Haskell | None |
---|
Documentation
:: SubTypes a | |
=> ScArgs | Arguments |
-> a | Current failed value |
-> (a -> Property) | Original property |
-> IO [Idx] |
Test d with arbitrary values replacing its children. For anything we get 100% failure for, we claim we can generalize it---any term in that hole fails.
We extrapolate if there exists at least one test that satisfies the precondition, and for all tests that satisfy the precondition, they fail.