Modulegenvalidity-hspec-1.0.0.4Haskell2010

Test.Validity.Arbitrary

Tests for Arbitrary instances involving Validity

You will need TypeApplications to use these.

Synopsis

valuearbitrarySpec :: (Typeable a, Show a, Validity a, Arbitrary a) => Spec

A Spec that specifies that arbitrary only generates data that satisfy isValid

Example usage:

arbitrarySpec @Int

valuearbitraryGeneratesOnlyValid :: (Show a, Validity a, Arbitrary a) => Property

arbitrary only generates valid data

Property

prop> arbitraryGeneratesOnlyValid @Int