A Spec that specifies that genValid only generates valid data.
In general it is a good idea to add this spec to your test suite if you
write a custom implementation of genValid.
Example usage:
genValidSpec @IntModulegenvalidity-sydtest-1.0.1.0Haskell2010
Test.Syd.Validity.GenValidity
Tests for GenValidity instances
You will need TypeApplications to use these.
- 4 values
- Packagegenvalidity-sydtest-1.0.1.0
- Exports4
- LanguageHaskell2010
- LicenceMIT
- SourceGenValidity.hs
genValid only generates valid data
genValidGeneratesValid @()genValidGeneratesValid @BoolgenValidGeneratesValid @OrderinggenValidGeneratesValid @ChargenValidGeneratesValid @IntgenValidGeneratesValid @FloatgenValidGeneratesValid @DoublegenValidGeneratesValid @IntegergenValidGeneratesValid @(Maybe Int)genValidGeneratesValid @[Int]The given generator generates only valid data points
The given generator generates only invalid data points