Modulequickcheck-dynamic-4.0.1Haskell2010

Test.QuickCheck.DynamicLogic.CanGenerate

1 value

Packagequickcheck-dynamic-4.0.1
Exports1
LanguageHaskell2010
LicenceApache-2.0
SourceCanGenerate.hs

valuecanGenerate :: Double -> Gen a -> (a -> Bool) -> Bool

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