Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Tests for GenValidity instances
You will need TypeApplications
to use these.
Synopsis
- genValidSpec :: forall a. (Typeable a, Show a, GenValid a) => Spec
- genValidGeneratesValid :: forall a. (Show a, GenValid a) => Property
- genGeneratesValid :: (Show a, Validity a) => Gen a -> Property
- genGeneratesInvalid :: (Show a, Validity a) => Gen a -> Property
Documentation
genValidSpec :: forall a. (Typeable a, Show a, GenValid a) => Spec Source #
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 Source #
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]