Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
requireProperty :: HasCallStack => PropertyT IO () -> Assertion Source #
requireTest :: HasCallStack => PropertyT IO () -> Assertion Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
requireProperty :: HasCallStack => PropertyT IO () -> Assertion Source #
requireTest :: HasCallStack => PropertyT IO () -> Assertion Source #