Test.Validity.GenValidity

Tests for GenValidity instances

You will need TypeApplications to use these.

Documentation

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

A Spec that specifies that genValid only generates valid data.

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

Example usage:

genValidSpec @Int

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 -> Property

The given generator generates only valid data points

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

The given generator generates only invalid data points