Test.QuickCheck.DynamicLogic.CanGenerate
canGenerate :: Double -> Gen a -> (a -> Bool) -> Bool Source #
canGenerate prob g p returns False if we are sure Prob(g generates x satisfying p) >= prob otherwise True (and we know such an x can be generated).
canGenerate prob g p
False
Prob(g generates x satisfying p) >= prob
True