Documentation

Fields

• format :: Format

  How to show extrapolated formula

• qcArgs :: Args

  QuickCheck arguments

• scMaxSize :: Int

  Maximum size of data to generate, in terms of the size parameter of QuickCheck's Arbitrary instance for your data.

• scMaxDepth :: Maybe Int

  How many levels into the structure of the failed value should we descend when reducing or generalizing? Nothing means we go down to base types.

• scMaxReduce :: Int

  How hard (number of rounds) to look for failure in the reduction stage.

• runForall :: Bool

  Should we extrapolate?

• scMaxForall :: Int

  How hard (number of rounds) to look for failures during the extrapolation stage.

• scMinForall :: Int

  Minimum number of times a property's precondition must be passed to generalize it.

• runExists :: Bool

  Should we try to generalize constructors?

• scMaxExists :: Int

  How hard (number of rounds) to look for failing values with each constructor. For "wide" sum types, this value should be increased.