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

Test.Validity.Property.Utils

Documentation

forAllUnchecked :: (Show a, GenUnchecked a, Testable prop) => (a -> prop) -> Property Source #

forAllValid :: (Show a, GenValid a, Testable prop) => (a -> prop) -> Property Source #

forAllInvalid :: (Show a, GenInvalid a, Testable prop) => (a -> prop) -> Property Source #

shouldBeValid :: (Show a, Validity a) => a -> Expectation Source #

shouldBeInvalid :: (Show a, Validity a) => a -> Expectation Source #