Safe Haskell | Safe-Inferred |
---|---|
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 #