Safe Haskell | None |
---|---|
Language | Haskell2010 |
Tests for GenValidity instances
Synopsis
- genGeneratesValid :: forall a. (Show a, Validity a) => Gen a -> (a -> [a]) -> Property
- genGeneratesInvalid :: forall a. (Show a, Validity a) => Gen a -> (a -> [a]) -> Property