Test.HUnit.Base
Documentation
type Assertion = IO ()
assertFailure :: String -> Assertion
assertString :: String -> Assertion
assertBool :: String -> Bool -> Assertion
assertEqual :: (Eq a, Show a) => String -> a -> a -> Assertion
class Assertable t where
Instances
Assertable Bool | |
Assertable () | |
ListAssertable t => Assertable [t] | |
Assertable t => Assertable (IO t) |
type AssertionPredicate = IO Bool
class AssertionPredicable t where
Methods
assertionPredicate :: t -> AssertionPredicate
Instances
AssertionPredicable Bool | |
AssertionPredicable t => AssertionPredicable (IO t) |
(@?) :: AssertionPredicable t => t -> String -> Assertion
data Test
testCaseCount :: Test -> Int
class Testable t where
(~?) :: AssertionPredicable t => t -> String -> Test
data Counts
data State
type ReportStart us = State -> us -> IO us
type ReportProblem us = String -> State -> us -> IO us
testCasePaths :: Test -> [Path]
performTest :: ReportStart us -> ReportProblem us -> ReportProblem us -> us -> Test -> IO (Counts, us)