Safe Haskell | None |
---|---|
Language | Haskell2010 |
Testing utility functions used by testing framework itself or intended to be used by test writers.
Synopsis
- leftToShowPanic :: (Show e, HasCallStack) => Either e a -> a
- leftToPrettyPanic :: (Buildable e, HasCallStack) => Either e a -> a
- failedProp :: Text -> Property
- succeededProp :: Property
- qcIsLeft :: Show b => Either a b -> Property
- qcIsRight :: Show a => Either a b -> Property
- roundtripTest :: forall x y err. (Show x, Show err, Typeable x, Arbitrary x, Eq x, Eq err) => (x -> y) -> (y -> Either err x) -> TestTree
Documentation
leftToShowPanic :: (Show e, HasCallStack) => Either e a -> a Source #
leftToPrettyPanic :: (Buildable e, HasCallStack) => Either e a -> a Source #
succeededProp :: Property Source #
A Property
that always succeeds.