Modulegenvalidity-property-1.0.0.0Haskell2010

Test.Validity.Functions.Validity

Standard tests involving validity

valueproducesValidsOnGen

The function produces valid output when the input is generated as specified by the given generator.

valueproducesValid

The function produces valid output when the input is generated by genValid

valueproducesValidsOnArbitrary

The function produces valid output when the input is generated by arbitrary

valueproducesValidsOnGens2

valueproducesValid2

valueproducesValidsOnArbitrary2

valueproducesValidsOnGens3

valueproducesValid3

:: (Show a, Show b, Show c, Show d, GenValid a, GenValid b, GenValid c, Validity d)
=> a -> b -> c -> d
-> Property

valueproducesValidsOnArbitrary3

:: (Show a, Show b, Show c, Show d, Arbitrary a, Arbitrary b, Arbitrary c, Validity d)
=> a -> b -> c -> d
-> Property