Hint: Do not use the assertXXX_ functions
directly. Instead, for each function assertXXX_,
there exist a preprocessor macro assertXXX, which provides
the Location parameter automatically. Use these macros, which
are available automatically if you add

Assertions on Bool values

Fail if the Bool value is False. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertBool_ and assertBoolVerbose_ directly, use the macros assertBool and assertBoolVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Equality assertions

Fail if the two values of type a are not equal.
The first parameter denotes the expected value. Use these two functions
of a is an instance of Show but not of Pretty. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertEqual_ and assertEqualVerbose_ directly, use the macros assertEqual and assertEqualVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail if the two values of type a are not equal.
The first parameter denotes the expected value. Use these two functions
of a is an instance of Pretty. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertEqualPretty_ and assertEqualPrettyVerbose_ directly, use the macros assertEqualPretty and assertEqualPrettyVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail if the two values of type a are not equal.
The first parameter denotes the expected value. Use these two functions
of a is neither an instance of Show nor Pretty. Be aware that in this
case the generated error message might not be very helpful. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertEqualNoShow_ and assertEqualNoShowVerbose_ directly, use the macros assertEqualNoShow and assertEqualNoShowVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail if the two values of type a are equal.
The first parameter denotes the expected value. Use these two functions
of a is an instance of Show but not of Pretty. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertNotEqual_ and assertNotEqualVerbose_ directly, use the macros assertNotEqual and assertNotEqualVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail if the two values of type a are equal.
The first parameter denotes the expected value. Use these two functions
of a is an instance of Pretty. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertNotEqualPretty_ and assertNotEqualPrettyVerbose_ directly, use the macros assertNotEqualPretty and assertNotEqualPrettyVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail if the two values of type a are equal.
The first parameter denotes the expected value. Use these two functions
of a is neither an instance of Show nor Pretty. Be aware that in this
case the generated error message might not be very helpful. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertNotEqualNoShow_ and assertNotEqualNoShowVerbose_ directly, use the macros assertNotEqualNoShow and assertNotEqualNoShowVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Assertions on lists

Fail if the two given lists are not equal
when considered as sets. The first list parameter
denotes the expected value. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertListsEqualAsSets_ and assertListsEqualAsSetsVerbose_ directly, use the macros assertListsEqualAsSets and assertListsEqualAsSetsVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail if the given list is empty. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertNotEmpty_ and assertNotEmptyVerbose_ directly, use the macros assertNotEmpty and assertNotEmptyVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail if the given list is a non-empty list. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertEmpty_ and assertEmptyVerbose_ directly, use the macros assertEmpty and assertEmptyVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Assertions for exceptions

Fail if evaluating the expression of type a does not
throw an exception satisfying the given predicate (e -> Bool). The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertThrows_ and assertThrowsVerbose_ directly, use the macros assertThrows and assertThrowsVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail if evaluating the expression of type a does not
throw an exception. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertThrowsSome_ and assertThrowsSomeVerbose_ directly, use the macros assertThrowsSome and assertThrowsSomeVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail if executing the IO action does not
throw an exception satisfying the given predicate (e -> Bool). The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertThrowsIO_ and assertThrowsIOVerbose_ directly, use the macros assertThrowsIO and assertThrowsIOVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail if executing the IO action does not
throw an exception. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertThrowsSomeIO_ and assertThrowsSomeIOVerbose_ directly, use the macros assertThrowsSomeIO and assertThrowsSomeIOVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail if executing the m action does not
throw an exception satisfying the given predicate (e -> Bool). The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertThrowsM_ and assertThrowsMVerbose_ directly, use the macros assertThrowsM and assertThrowsMVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail if executing the m action does not
throw an exception. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertThrowsSomeM_ and assertThrowsSomeMVerbose_ directly, use the macros assertThrowsSomeM and assertThrowsSomeMVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Assertions on Either values

Fail if the given Either a b value is a Right.
Use this function if b is an instance of Show The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertLeft_ and assertLeftVerbose_ directly, use the macros assertLeft and assertLeftVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail if the given Either a b value is a Right. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertLeftNoShow_ and assertLeftNoShowVerbose_ directly, use the macros assertLeftNoShow and assertLeftNoShowVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail if the given Either a b value is a Left.
Use this function if a is an instance of Show The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertRight_ and assertRightVerbose_ directly, use the macros assertRight and assertRightVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail if the given Either a b value is a Left. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertRightNoShow_ and assertRightNoShowVerbose_ directly, use the macros assertRightNoShow and assertRightNoShowVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Assertions on Just values

Fail is the given Maybe a value is a Nothing. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertJust_ and assertJustVerbose_ directly, use the macros assertJust and assertJustVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail is the given Maybe a value is a Just.
Use this function if a is an instance of Show. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertNothing_ and assertNothingVerbose_ directly, use the macros assertNothing and assertNothingVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

Fail is the given Maybe a value is a Just. The String parameter in the Verbose variant can be used to provide extra information about the error. Do not use assertNothingNoShow_ and assertNothingNoShowVerbose_ directly, use the macros assertNothingNoShow and assertNothingNoShowVerbose instead. These macros, provided by the htfpp preprocessor, insert the Location parameter automatically.

You can now use assertIsPositive i for some integer i from your unit tests, but if you call it directly
you will lose location information: if assertIsPositive i fails you will only get the location where
assertIsPositive is defined but not from where it has been called.

To recover the location information you simply use subAssert (assertIsPositive i).
In this case, if i is not positive, you will get the location of the caller.

Note: Don't use subAssert_ directly but use the preprocessor macro subAssert.