Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
checkDefinesFail :: TypeResolver r => r -> [String] -> String -> TrackedErrors () Source #
checkDefinesSuccess :: TypeResolver r => r -> [String] -> String -> TrackedErrors () Source #
checkEquals :: (Eq a, Show a) => a -> a -> TrackedErrors () Source #
checkParseError :: Show a => String -> String -> TextParser a -> IO (TrackedErrors ()) Source #
checkParseMatch :: Show a => String -> TextParser a -> (a -> Bool) -> IO (TrackedErrors ()) Source #
checkTypeFail :: TypeResolver r => r -> [String] -> String -> TrackedErrors () Source #
checkWriteFail :: ConfigFormat a => String -> a -> IO (TrackedErrors ()) Source #
checkWriteThenRead :: (Eq a, Show a, ConfigFormat a) => a -> IO (TrackedErrors ()) Source #
checkTypeSuccess :: TypeResolver r => r -> [String] -> String -> TrackedErrors () Source #
containsAtLeast :: (Ord a, Show a) => [a] -> [a] -> TrackedErrors () Source #
containsAtMost :: (Ord a, Show a) => [a] -> [a] -> TrackedErrors () Source #
containsExactly :: (Ord a, Show a) => [a] -> [a] -> TrackedErrors () Source #
containsNoDuplicates :: (Ord a, Show a) => [a] -> TrackedErrors () Source #
forceParse :: ParseFromSource a => String -> a Source #
parseFilterMap :: [(String, [String])] -> TrackedErrors ParamFilters Source #
parseTestWithFilters :: ParseFromSource a => [(String, [String])] -> [String] -> TrackedErrors ([a], ParamFilters) Source #
readMulti :: ParseFromSource a => String -> String -> TrackedErrors [a] Source #
readSingle :: ParseFromSource a => String -> String -> TrackedErrors a Source #
readSingleWith :: TextParser a -> String -> String -> TrackedErrors a Source #
runAllTests :: [IO (TrackedErrors ())] -> IO () Source #
showParams :: [String] -> String Source #