Test.QuickCheck.Variant

To get random "invalid" and "valid" data

Documentation

class Variant a where

You can define

>>> instance (Varaint a) => Arbitrary a where {arbitrary = oneof [valid, invalid]}

Minimal complete definition

valid, invalid

Methods

valid :: Gen a

Get a generator of valid random data type

invalid :: Gen a

Get a generator of invalid random data type

class VarTestable prop where

The class of things wich can be tested with invalid or valid input.

Minimal complete definition

propertyValid, propertyInvalid

Methods

propertyValid :: prop -> Property

Property for valid input

propertyInvalid :: prop -> Property

Property for invalid input

Instances

VarTestable Bool

Same as Testeable

Methods

propertyValid :: Bool -> Property

propertyInvalid :: Bool -> Property

(Arbitrary a, Variant a, Show a, VarTestable prop) => VarTestable (a -> prop)

Instead of variant we use valid or invalid generators

Methods

propertyValid :: (a -> prop) -> Property

propertyInvalid :: (a -> prop) -> Property

mapTotalResultValid :: VarTestable prop => (Result -> Result) -> prop -> Property

mapRoseResultValid :: VarTestable prop => (Rose Result -> Rose Result) -> prop -> Property

mapPropValid :: VarTestable prop => (Prop -> Prop) -> prop -> Property

callbackValid :: VarTestable prop => Callback -> prop -> Property

Adds a callback

counterexampleValid :: VarTestable prop => String -> prop -> Property

Adds the given string to the counterexample if the property fails.

showCounterexampleValid :: String -> IO String

forAllShrinkValid :: (Show a, VarTestable prop) => Gen a -> (a -> [a]) -> (a -> prop) -> Property

Like forAll, but tries to shrink the argument for failing test cases.

mapTotalResultInvalid :: VarTestable prop => (Result -> Result) -> prop -> Property

mapRoseResultInvalid :: VarTestable prop => (Rose Result -> Rose Result) -> prop -> Property

mapPropInvalid :: VarTestable prop => (Prop -> Prop) -> prop -> Property

callbackInvalid :: VarTestable prop => Callback -> prop -> Property

Adds a callback

counterexampleInvalid :: VarTestable prop => String -> prop -> Property

Adds the given string to the counterexample if the property fails.

showCounterexampleInvalid :: String -> IO String

forAllShrinkInvalid :: (Show a, VarTestable prop) => Gen a -> (a -> [a]) -> (a -> prop) -> Property

Like forAll, but tries to shrink the argument for failing test cases.