genvalidity-property-0.5.0.1: Standard properties for functions on `Validity` types

Safe HaskellNone
LanguageHaskell2010

Test.Validity.GenValidity.Property

Description

Tests for GenValidity instances

Synopsis

Documentation

genGeneratesValid :: forall a. (Show a, Validity a) => Gen a -> Property Source #

The given generator generates only valid data points

genGeneratesInvalid :: forall a. (Show a, Validity a) => Gen a -> Property Source #

The given generator generates only invalid data points