Documentation

type Assertion = IO ()Source

assertFailure :: String -> AssertionSource

assertString :: String -> AssertionSource

assertBool :: String -> Bool -> AssertionSource

assertEqual :: (Eq a, Show a) => String -> a -> a -> AssertionSource

class Assertable t whereSource

class ListAssertable t whereSource

type AssertionPredicate = IO BoolSource

class AssertionPredicable t whereSource

(@?) :: AssertionPredicable t => t -> String -> AssertionSource

(@=?) :: (Eq a, Show a) => a -> a -> AssertionSource

(@?=) :: (Eq a, Show a) => a -> a -> AssertionSource

data Test Source

data Node Source

type Path = [Node]Source

testCaseCount :: Test -> IntSource

class Testable t whereSource

(~?) :: AssertionPredicable t => t -> String -> TestSource

(~=?) :: (Eq a, Show a) => a -> a -> TestSource

(~?=) :: (Eq a, Show a) => a -> a -> TestSource

(~:) :: Testable t => String -> t -> TestSource

data Counts Source

data State Source

type ReportStart us = State -> us -> IO usSource

type ReportProblem us = String -> State -> us -> IO usSource

testCasePaths :: Test -> [Path]Source

performTest :: ReportStart us -> ReportProblem us -> ReportProblem us -> us -> Test -> IO (Counts, us)Source