Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xd29e1592026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · d29e159 · 2026-10-12

Modulegenvalidity-sydtest-1.0.1.0Haskell2010

Test.Syd.Validity.GenValidity.Property

Tests for GenValidity instances

2 values

Packagegenvalidity-sydtest-1.0.1.0
Exports2
LanguageHaskell2010
LicenceMIT
SourceProperty.hs

valuegenGeneratesValid :: (Show a, Validity a) => Gen a -> Property

The given generator generates only valid data points

valuegenGeneratesInvalid :: (Show a, Validity a) => Gen a -> Property

The given generator generates only invalid data points