Test.QuickCheck.DynamicLogic.Quantify

This module defines Quantifications, which are used together with forAllQ in DynamicLogic. A `Quantification t` can be used to generate a t, shrink a t, and recognise a generated t.

Documentation

data Quantification a

A Quantification over a type a is a generator that can be used with forAllQ to generate random values in DL scenarios. In addition to a QuickCheck generator a Quantification contains a shrinking strategy that ensures that shrunk values stay in the range of the generator.

Instances

QuantifyConstraints a => Quantifiable (Quantification a)

Defined in Test.QuickCheck.DynamicLogic.Quantify

Associated Types

type Quantifies (Quantification a)

Methods

quantify :: Quantification a -> Quantification (Quantifies (Quantification a))

type Quantifies (Quantification a)

Defined in Test.QuickCheck.DynamicLogic.Quantify

type Quantifies (Quantification a) = a

type QuantifyConstraints a = (Eq a, Show a, Typeable a, HasVariables a)

isEmptyQ :: Quantification a -> Bool

generateQ :: Quantification a -> Gen a

shrinkQ :: Quantification a -> a -> [a]

arbitraryQ :: Arbitrary a => Quantification a

Pack up an Arbitrary instance as a Quantification. Treats all values as being in range.

exactlyQ :: Eq a => a -> Quantification a

Generates exactly the given value. Does not shrink.

elementsQ :: Eq a => [a] -> Quantification a

Pick a random value from a list. Treated as an empty choice if the list is empty:

forAllQ (elementsQ []) == empty

oneofQ :: [Quantification a] -> Quantification a

Choose from a list of quantifications. Same as frequencyQ with all weights the same (and > 0).

frequencyQ :: [(Int, Quantification a)] -> Quantification a

Choose from a weighted list of quantifications. Treated as an empty choice if no quantification has weight > 0.

mapQ :: (a -> b, b -> a) -> Quantification a -> Quantification b

Quantification is not a Functor, since it also keeps track of the range of the generators. However, if you have two functions to :: a -> b from :: b -> a satisfying from . to = id you can go from a quantification over a to one over b. Note that the from function need only be defined on the image of to.

whereQ :: Quantification a -> (a -> Bool) -> Quantification a

Restrict the range of a quantification.

chooseQ :: (Arbitrary a, Random a, Ord a) => (a, a) -> Quantification a

Generate a random value in a given range (inclusive).

withGenQ :: Gen a -> (a -> [a]) -> Quantification a

Wrap a `Gen a` generator in a `Quantification a`. Uses given shrinker.

hasNoVariablesQ :: Quantification a -> Quantification (HasNoVariables a)

Wrap a Quantification in HasNoVariables to indicate that you know what you're doing and there are no symbolic variables in the thing you are quantifying over. WARNING: use this function carefully as there is no guarantee that you won't get bitten by very strange failures if you were in fact not honest about the lack of variables.

validQuantification :: Show a => Quantification a -> Property

class QuantifyConstraints (Quantifies q) => Quantifiable q where

Generalization of Quantifications, which lets you treat lists and tuples of quantifications as quantifications. For instance,

  ...
  (die1, die2) <- forAllQ (chooseQ (1, 6), chooseQ (1, 6))
  ...

Associated Types

type Quantifies q

The type of values quantified over.

Quantifies (Quantification a) = a

Methods

quantify :: q -> Quantification (Quantifies q)

Computing the actual Quantification.

Instances

QuantifyConstraints a => Quantifiable (Quantification a)

Defined in Test.QuickCheck.DynamicLogic.Quantify

Associated Types

type Quantifies (Quantification a)

Methods

quantify :: Quantification a -> Quantification (Quantifies (Quantification a))

Quantifiable a => Quantifiable [a]

Defined in Test.QuickCheck.DynamicLogic.Quantify

Associated Types

type Quantifies [a]

Methods

quantify :: [a] -> Quantification (Quantifies [a])

(Quantifiable a, Quantifiable b) => Quantifiable (a, b)

Defined in Test.QuickCheck.DynamicLogic.Quantify

Associated Types

type Quantifies (a, b)

Methods

quantify :: (a, b) -> Quantification (Quantifies (a, b))

(Quantifiable a, Quantifiable b, Quantifiable c) => Quantifiable (a, b, c)

Defined in Test.QuickCheck.DynamicLogic.Quantify

Associated Types

type Quantifies (a, b, c)

Methods

quantify :: (a, b, c) -> Quantification (Quantifies (a, b, c))

(Quantifiable a, Quantifiable b, Quantifiable c, Quantifiable d) => Quantifiable (a, b, c, d)

Defined in Test.QuickCheck.DynamicLogic.Quantify

Associated Types

type Quantifies (a, b, c, d)

Methods

quantify :: (a, b, c, d) -> Quantification (Quantifies (a, b, c, d))

(Quantifiable a, Quantifiable b, Quantifiable c, Quantifiable d, Quantifiable e) => Quantifiable (a, b, c, d, e)

Defined in Test.QuickCheck.DynamicLogic.Quantify

Associated Types

type Quantifies (a, b, c, d, e)

Methods

quantify :: (a, b, c, d, e) -> Quantification (Quantifies (a, b, c, d, e))