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.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05
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