Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Validity.GenValidity.Property
Description
Tests for GenValidity instances
Synopsis
- genGeneratesValid :: forall a. (Show a, Validity a) => Gen a -> Property
- genGeneratesInvalid :: forall a. (Show a, Validity a) => Gen a -> Property
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