Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.HUnit.Lang

Contents

Internals

Synopsis

type Assertion = IO ()
assertFailure :: HasCallStack => String -> IO a
assertEqual :: HasCallStack => (Eq a, Show a) => String -> a -> a -> Assertion
data Result
- = Success
- | Failure (Maybe SrcLoc) String
- | Error (Maybe SrcLoc) String
performTestCase :: Assertion -> IO Result
data HUnitFailure = HUnitFailure (Maybe SrcLoc) FailureReason
data FailureReason
- = Reason String
- | ExpectedButGot (Maybe String) String String
formatFailureReason :: FailureReason -> String

Documentation

type Assertion = IO () #

When an assertion is evaluated, it will output a message if and only if the assertion fails.

Test cases are composed of a sequence of one or more assertions.

assertFailure #

Arguments

:: HasCallStack
=> String	A message that is displayed with the assertion failure
-> IO a

Unconditionally signals that a failure has occurred.

assertEqual #

Arguments

:: HasCallStack
=> (Eq a, Show a)
=> String	The message prefix
-> a	The expected value
-> a	The actual value
-> Assertion

Asserts that the specified actual value is equal to the expected value. The output message will contain the prefix, the expected value, and the actual value.

If the prefix is the empty string (i.e., ""), then the prefix is omitted and only the expected and actual values are output.

data Result #

Constructors

Success
Failure (Maybe SrcLoc) String
Error (Maybe SrcLoc) String

Instances

Instances details

Show Result #
Instance details Defined in Test.HUnit.Lang Methods showsPrec :: Int -> Result -> ShowS # show :: Result -> String # showList :: [Result] -> ShowS #
Eq Result #
Instance details Defined in Test.HUnit.Lang Methods (==) :: Result -> Result -> Bool # (/=) :: Result -> Result -> Bool #

performTestCase #

Arguments

:: Assertion	an assertion to be made during the test case run
-> IO Result

Performs a single test case.

Internals

Note: This is not part of the public API! It is exposed so that you can tinker with the internals of HUnit, but do not expect it to be stable!

data HUnitFailure #

Constructors

HUnitFailure (Maybe SrcLoc) FailureReason

Instances

Instances details

Exception HUnitFailure #
Instance details Defined in Test.HUnit.Lang Methods toException :: HUnitFailure -> SomeException # fromException :: SomeException -> Maybe HUnitFailure # displayException :: HUnitFailure -> String #
Show HUnitFailure #
Instance details Defined in Test.HUnit.Lang Methods showsPrec :: Int -> HUnitFailure -> ShowS # show :: HUnitFailure -> String # showList :: [HUnitFailure] -> ShowS #
Eq HUnitFailure #
Instance details Defined in Test.HUnit.Lang Methods (==) :: HUnitFailure -> HUnitFailure -> Bool # (/=) :: HUnitFailure -> HUnitFailure -> Bool #

data FailureReason #

Constructors

Reason String
ExpectedButGot (Maybe String) String String

Instances

Instances details

Show FailureReason #
Instance details Defined in Test.HUnit.Lang Methods showsPrec :: Int -> FailureReason -> ShowS # show :: FailureReason -> String # showList :: [FailureReason] -> ShowS #
Eq FailureReason #
Instance details Defined in Test.HUnit.Lang Methods (==) :: FailureReason -> FailureReason -> Bool # (/=) :: FailureReason -> FailureReason -> Bool #

formatFailureReason :: FailureReason -> String #