Test.Validity.GenValidity

Tests for GenValidity instances

You will need TypeApplications to use these.

Documentation

genValiditySpec :: forall a. (Typeable a, Show a, GenValid a, GenInvalid a) => Spec

A spec for properties of GenValid and GenInvalid instances.

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 @Int

genValidSpec :: forall a. (Typeable a, Show a, GenValid a) => Spec

A Spec that specifies that genValid only generates valid data.

Example usage:

genValidSpec @Int

genInvalidSpec :: forall a. (Typeable a, Show a, GenInvalid a) => Spec

A Spec that specifies that genInvalid only generates invalid data.

Example usage:

genInvalidSpec @Rational

genValidGeneratesValid :: forall a. (Show a, GenValid a) => Property

genValid only generates valid data

genValidGeneratesValid @()

genValidGeneratesValid @Bool

genValidGeneratesValid @Ordering

genValidGeneratesValid @Char

genValidGeneratesValid @Int

genValidGeneratesValid @Float

genValidGeneratesValid @Double

genValidGeneratesValid @Integer

genValidGeneratesValid @(Maybe Int)

genValidGeneratesValid @[Int]

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

The given generator generates only valid data points

genInvalidGeneratesInvalid :: forall a. (Show a, GenInvalid a) => Property

genValid only generates invalid data

genInvalidGeneratesInvalid @Rational

genInvalidGeneratesInvalid @Rational

genInvalidGeneratesInvalid @(Maybe Rational)

genInvalidGeneratesInvalid @[Rational]

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

The given generator generates only invalid data points