| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Skeletest.Internal.TestRunner
Contents
Synopsis
- class MonadIO m => Testable (m :: Type -> Type) where
- runTestable :: m () -> IO TestResult
- context :: String -> m a -> m a
- throwFailure :: AssertionFail -> m a
- data TestResult = TestResult {}
- data TestResultStatus
- = TestPassed
- | TestFailed
- | TestSkipped
- | TestStatus { }
- data TestResultMessage
- testResultPass :: TestResult
- testResultFromAssertionFail :: AssertionFail -> IO TestResult
- testResultFromError :: SomeException -> IO TestResult
- testResultFromErrorWith :: (Text -> Text) -> SomeException -> IO TestResult
- data AssertionFail = AssertionFail {}
- type FailContext = [Text]
Testable
class MonadIO m => Testable (m :: Type -> Type) where Source #
Methods
runTestable :: m () -> IO TestResult Source #
context :: String -> m a -> m a Source #
Add any context to display if the test fails.
>>>(code, stdout) <- runCommand ...>>>context stdout $ code `shouldBe` ExitSuccess
throwFailure :: AssertionFail -> m a Source #
Instances
| Testable IO Source # | |
Defined in Skeletest.Assertions Methods runTestable :: IO () -> IO TestResult Source # context :: String -> IO a -> IO a Source # throwFailure :: AssertionFail -> IO a Source # | |
| Testable PropertyM Source # | |
Defined in Skeletest.Prop.Internal Methods runTestable :: PropertyM () -> IO TestResult Source # context :: String -> PropertyM a -> PropertyM a Source # throwFailure :: AssertionFail -> PropertyM a Source # | |
TestResult
data TestResult Source #
Constructors
| TestResult | |
Fields
| |
Instances
| HasField "reportTestPost" TestReporter (TestInfo -> (TestResult, NominalDiffTime) -> IO ()) Source # | |
Defined in Skeletest.Internal.Spec.TestReporter Methods getField :: TestReporter -> TestInfo -> (TestResult, NominalDiffTime) -> IO () # | |
data TestResultStatus Source #
Constructors
| TestPassed | |
| TestFailed | |
| TestSkipped | |
| TestStatus | |
Instances
| Eq TestResultStatus Source # | |
Defined in Skeletest.Internal.TestRunner Methods (==) :: TestResultStatus -> TestResultStatus -> Bool # (/=) :: TestResultStatus -> TestResultStatus -> Bool # | |
| Ord TestResultStatus Source # | |
Defined in Skeletest.Internal.TestRunner Methods compare :: TestResultStatus -> TestResultStatus -> Ordering # (<) :: TestResultStatus -> TestResultStatus -> Bool # (<=) :: TestResultStatus -> TestResultStatus -> Bool # (>) :: TestResultStatus -> TestResultStatus -> Bool # (>=) :: TestResultStatus -> TestResultStatus -> Bool # max :: TestResultStatus -> TestResultStatus -> TestResultStatus # min :: TestResultStatus -> TestResultStatus -> TestResultStatus # | |
| HasField "name" TestResultStatus Text Source # | |
Defined in Skeletest.Internal.TestRunner Methods getField :: TestResultStatus -> Text # | |
| HasField "success" TestResultStatus Bool Source # | |
Defined in Skeletest.Internal.TestRunner Methods getField :: TestResultStatus -> Bool # | |
data TestResultMessage Source #
testResultFromErrorWith :: (Text -> Text) -> SomeException -> IO TestResult Source #
AssertionFail
data AssertionFail Source #
Constructors
| AssertionFail | |
Fields | |
Instances
| Exception AssertionFail Source # | |
Defined in Skeletest.Internal.TestRunner Methods toException :: AssertionFail -> SomeException # fromException :: SomeException -> Maybe AssertionFail # displayException :: AssertionFail -> String # | |
| Show AssertionFail Source # | |
Defined in Skeletest.Internal.TestRunner Methods showsPrec :: Int -> AssertionFail -> ShowS # show :: AssertionFail -> String # showList :: [AssertionFail] -> ShowS # | |
type FailContext = [Text] Source #
Context for failures, in order of most recently added -> least recently added