Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Validity.Arbitrary
Description
Tests for Arbitrary instances involving Validity
You will need TypeApplications
to use these.
Synopsis
- arbitrarySpec :: forall a. (Typeable a, Show a, Validity a, Arbitrary a) => Spec
- arbitraryGeneratesOnlyValid :: forall a. (Show a, Validity a, Arbitrary a) => Property
Documentation
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
Example usage:
arbitrarySpec @Int
arbitraryGeneratesOnlyValid :: forall a. (Show a, Validity a, Arbitrary a) => Property Source #
arbitrary
only generates valid data
arbitraryGeneratesOnlyValid @Int