quickcheck-dynamic-2.0.0: A library for stateful property-based testing
Safe HaskellSafe-Inferred
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).