Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
check :: (Show prop, Testable prop) => prop -> Build () Source
Testable properties are checkable. If the check returns false then throw an error.
checkFalse :: (Show prop, Testable prop) => prop -> Build () Source
Testable properties are checkable. If the check returns true then throw an error.