Test.Common

Documentation

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

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

checkEquals :: (Eq a, Show a, MergeableM m, CompileErrorM m) => a -> a -> m ()

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

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

containsAtLeast :: (Ord a, Show a, MergeableM m, CompileErrorM m) => [a] -> [a] -> m ()

containsAtMost :: (Ord a, Show a, MergeableM m, CompileErrorM m) => [a] -> [a] -> m ()

containsExactly :: (Ord a, Show a, MergeableM m, CompileErrorM m) => [a] -> [a] -> m ()

containsNoDuplicates :: (Ord a, Show a, MergeableM m, CompileErrorM m) => [a] -> m ()

forceParse :: ParseFromSource a => String -> a

loadFile :: String -> IO String

parseFilterMap :: CompileErrorM m => [(String, [String])] -> m ParamFilters

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

readMulti :: CompileErrorM m => ParseFromSource a => String -> String -> m [a]

readSingle :: (ParseFromSource a, CompileErrorM m) => String -> String -> m a

readSingleWith :: CompileErrorM m => Parser a -> String -> String -> m a

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

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