Safe Haskell | None |
---|
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.