Skeletest.Internal.TestRunner

Testable

class MonadIO m => Testable (m :: Type -> Type) where

Methods

runTestable :: m () -> IO ()

context :: String -> m a -> m a

throwFailure :: AssertionFail -> m a

Instances

Testable IO

Defined in Skeletest.Assertions

Methods

runTestable :: IO () -> IO ()

context :: String -> IO a -> IO a

throwFailure :: AssertionFail -> IO a

Testable PropertyM

Defined in Skeletest.Prop.Internal

Methods

runTestable :: PropertyM () -> IO ()

context :: String -> PropertyM a -> PropertyM a

throwFailure :: AssertionFail -> PropertyM a

TestResult

data TestResult

Constructors

TestResult

Fields

• testResultSuccess :: Bool
• testResultLabel :: Text
• testResultMessage :: TestResultMessage

data TestResultMessage

Constructors

TestResultMessageNone

TestResultMessageInline Text

TestResultMessageSection Text

testResultPass :: TestResult

testResultFromAssertionFail :: AssertionFail -> IO TestResult

testResultFromError :: SomeException -> TestResult

AssertionFail

data AssertionFail

Constructors

AssertionFail

Fields

• testInfo :: TestInfo
• testFailMessage :: Text
• testFailContext :: FailContext
• callStack :: CallStack

Instances

Exception AssertionFail

Defined in Skeletest.Internal.TestRunner

Methods

toException :: AssertionFail -> SomeException

fromException :: SomeException -> Maybe AssertionFail

displayException :: AssertionFail -> String

backtraceDesired :: AssertionFail -> Bool

Show AssertionFail

Defined in Skeletest.Internal.TestRunner

Methods

showsPrec :: Int -> AssertionFail -> ShowS

show :: AssertionFail -> String

showList :: [AssertionFail] -> ShowS

type FailContext = [Text]

Context for failures, in order of most recently added -> least recently added