quickcheck-dynamic-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

Test.QuickCheck.DynamicLogic.CanGenerate

Synopsis

Documentation

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