Documentation

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.

Unconditionally signals that a failure has occured. All other assertions can be expressed with the form:

    if conditionIsMet 
        then IO () 
        else assertFailure msg

Performs a single test case. The meaning of the result is as follows:

Nothing

test case success

Just (True, msg)

test case failure with the given message

Just (False, msg)

test case error with the given message