| Copyright | (c) Jorge Santiago Alvarez Cuadros 2015 |
|---|---|
| License | GPL-3 |
| Maintainer | sanjorgek@ciencias.unam.mx |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe |
| Language | Haskell98 |
Test.QuickCheck.Variant
Description
To get random "invalid" and "valid" data
- class Variant a where
- class VarTesteable prop where
Documentation
class Variant a where Source #
You can define
>>>instance (Varaint a) => Arbitrary a where {arbitrary = oneof [valid, invalid]}
class VarTesteable prop where Source #
The class of things wich can be tested with invalid or valid input.
Minimal complete definition
Methods
propertyValid :: prop -> Property Source #
Property for valid input
propertyInvalid :: prop -> Property Source #
Property for invalid input