genvalidity-property-1.0.0.0: Standard properties for functions on `Validity` types

Safe Haskell | None
Language | Haskell2010

Test.Validity.Property.Utils

# Documentation

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

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

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

(<==>) :: Bool -> Bool -> Bool Source #

(===>) :: Bool -> Bool -> Bool Source #