Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

# 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.