genvalidity-hspec-0.3.0.0: Standard spec's for GenValidity instances
Test.Validity.Arbitrary
Description
Tests for Arbitrary instances involving Validity
Synopsis
arbitrarySpec :: forall a. (Typeable a, Show a, Validity a, Arbitrary a) => Spec Source #
A Spec that specifies that arbitrary only generates data that satisfy isValid
Spec
arbitrary
isValid
Example usage:
arbitrarySpec @Int
arbitraryGeneratesOnlyValid :: forall a. (Show a, Validity a, Arbitrary a) => Property Source #
arbitrary only generates valid data
arbitraryGeneratesOnlyValid @Int