Test.Framework.HUnitWrapper

You should not use the functions provided by this module directly. Instead, for each function assertXXX_ defined in this module, there exist a preprocessor macro assertXXX, which provides the Location parameter automatically. |

General failure

assertFailure :: String -> IO a

Assertions on Bool values

assertBool_ :: Location -> Bool -> Assertion

assertBoolVerbose_ :: Location -> String -> Bool -> Assertion

Equality assertions

assertEqual_ :: (Eq a, Show a) => Location -> a -> a -> Assertion

assertEqualVerbose_ :: (Eq a, Show a) => Location -> String -> a -> a -> Assertion

assertEqualPretty_ :: (Eq a, Pretty a) => Location -> a -> a -> Assertion

assertEqualPrettyVerbose_ :: (Eq a, Pretty a) => Location -> String -> a -> a -> Assertion

assertEqualNoShow_ :: Eq a => Location -> a -> a -> Assertion

assertEqualNoShowVerbose_ :: Eq a => Location -> String -> a -> a -> Assertion

Assertions on lists

assertListsEqualAsSets_ :: (Eq a, Show a) => Location -> [a] -> [a] -> Assertion

assertListsEqualAsSetsVerbose_ :: (Eq a, Show a) => Location -> String -> [a] -> [a] -> Assertion

assertNotEmpty_ :: Location -> [a] -> Assertion

assertNotEmptyVerbose_ :: Location -> String -> [a] -> Assertion

assertEmpty_ :: Location -> [a] -> Assertion

assertEmptyVerbose_ :: Location -> String -> [a] -> Assertion

Assertions for exceptions

assertThrows_ :: Exception e => Location -> a -> (e -> Bool) -> Assertion

assertThrowsVerbose_ :: Exception e => Location -> String -> a -> (e -> Bool) -> Assertion

assertThrowsSome_ :: Location -> a -> Assertion

assertThrowsSomeVerbose_ :: Location -> String -> a -> Assertion

Assertions on Either values

assertLeft_ :: Show b => Location -> Either a b -> IO a

assertLeftVerbose_ :: Show b => Location -> String -> Either a b -> IO a

assertLeftNoShow_ :: Location -> Either a b -> IO a

assertLeftNoShowVerbose_ :: Location -> String -> Either a b -> IO a

assertRight_ :: Show a => Location -> Either a b -> IO b

assertRightVerbose_ :: Show a => Location -> String -> Either a b -> IO b

assertRightNoShow_ :: Location -> Either a b -> IO b

assertRightNoShowVerbose_ :: Location -> String -> Either a b -> IO b

Assertions on Just values

assertJust_ :: Location -> Maybe a -> IO a

assertJustVerbose_ :: Location -> String -> Maybe a -> IO a

assertNothing_ :: Show a => Location -> Maybe a -> Assertion

assertNothingVerbose_ :: Show a => Location -> String -> Maybe a -> Assertion

assertNothingNoShow_ :: Location -> Maybe a -> Assertion

assertNothingNoShowVerbose_ :: Location -> String -> Maybe a -> Assertion