Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
forAllUnchecked :: (Show a, GenUnchecked 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 #