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 @Int:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11
Modulegenvalidity-hspec-1.0.0.4Haskell2010
Tests for GenValidity instances
You will need TypeApplications to use these.
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 @IntgenValid 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