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 VarTesteable 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

VarTesteable Bool

Same as Testeable

Methods

propertyValid :: Bool -> Property

propertyInvalid :: Bool -> Property

(Arbitrary a, Variant a, Show a, Testable prop) => VarTesteable (a -> prop)

Instead of variant we use valid or invalid generators

Methods

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

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