Test.Common

Documentation

checkDefinesFail :: TypeResolver r => r -> [(String, [String])] -> String -> CompileInfo ()

checkDefinesSuccess :: TypeResolver r => r -> [(String, [String])] -> String -> CompileInfo ()

checkEquals :: (Eq a, Show a) => a -> a -> CompileInfo ()

checkTypeFail :: TypeResolver r => r -> [(String, [String])] -> String -> CompileInfo ()

checkTypeSuccess :: TypeResolver r => r -> [(String, [String])] -> String -> CompileInfo ()

containsAtLeast :: (Ord a, Show a) => [a] -> [a] -> CompileInfo ()

containsAtMost :: (Ord a, Show a) => [a] -> [a] -> CompileInfo ()

containsExactly :: (Ord a, Show a) => [a] -> [a] -> CompileInfo ()

containsNoDuplicates :: (Ord a, Show a) => [a] -> CompileInfo ()

forceParse :: ParseFromSource a => String -> a

loadFile :: String -> IO String

parseFilterMap :: [(String, [String])] -> CompileInfo ParamFilters

parseTheTest :: ParseFromSource a => [(String, [String])] -> [String] -> CompileInfo ([a], ParamFilters)

readMulti :: ParseFromSource a => String -> String -> CompileInfo [a]

readSingle :: ParseFromSource a => String -> String -> CompileInfo a

readSingleWith :: Parser a -> String -> String -> CompileInfo a

runAllTests :: [IO (CompileInfo ())] -> IO ()

showParams :: [(String, [String])] -> String