Test.Validity.GenValidity

Tests for GenValidity instances

genValiditySpec :: (Typeable a, Show a, GenValidity a) => Proxy a -> Spec

A Spec that specifies that genValid only generates valid data and that genInvalid only generates invalid data.

In general it is a good idea to add this spec to your test suite if you write a custom implementation of genValid or genInvalid.

Example usage:

genValiditySpec (Proxy :: Proxy MyData)

genValidityValidGeneratesValid :: forall a. (Show a, GenValidity a) => Proxy a -> Property

genValid only generates valid data

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

The given generator generates only valid data points

genValidityInvalidGeneratesInvalid :: forall a. (Show a, GenValidity a) => Proxy a -> Property

genValid only generates invalid data

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

The given generator generates only invalid data points