Safe Haskell | None |
---|---|
Language | Haskell2010 |
- createReport :: FilePath -> FilePath -> IO FilePath
- readResults :: FilePath -> IO (Maybe Section)
- isTestCaseDir :: FilePath -> IO Bool
- data Result = Result {
- reKey :: Text
- reSemInput :: SemInput
- reRealisations :: [Text]
- reWarnings :: [Text]
- reDerivation :: [GeniResult]
- type Section = (FilePath, [Result])
- mkReport :: Html -> Html -> ([Result] -> Html) -> [Section] -> Html
- overviewTable :: [Section] -> Html
- overviewRow :: Section -> Html
- mkSummary :: [Section] -> Html
- summaryTable :: [Result] -> Html
- summaryRow :: Result -> Html
- status :: Result -> AttributeValue
- mkDetailsSummary :: [Section] -> Html
- detailsTable :: [Result] -> Html
- detailsRow :: Result -> Html
- semInputToHtml :: SemInput -> Html
- prettyKey :: Text -> Html
- expandCount :: Text -> [Text]
- unlinesCountHtml :: [Text] -> Html
- dataFiles :: [FilePath]
- lcSort :: [Text] -> [Text]
- readFileIfExists :: a -> (Text -> a) -> FilePath -> IO a
- readFileUtf8 :: FilePath -> IO Text
- groupAndCount :: (Eq a, Ord a) => [a] -> [(a, Int)]
- dropPrefix :: Eq a => [a] -> [a] -> ([a], [a])
- getRealDirectoryContents :: FilePath -> IO [String]
Documentation
createReport :: FilePath -> FilePath -> IO FilePath Source
Return the output directory (might be a tmpdir)
isTestCaseDir :: FilePath -> IO Bool Source
Result | |
|
overviewTable :: [Section] -> Html Source
overviewRow :: Section -> Html Source
summaryTable :: [Result] -> Html Source
summaryRow :: Result -> Html Source
status :: Result -> AttributeValue Source
mkDetailsSummary :: [Section] -> Html Source
detailsTable :: [Result] -> Html Source
detailsRow :: Result -> Html Source
semInputToHtml :: SemInput -> Html Source
expandCount :: Text -> [Text] Source
unlinesCountHtml :: [Text] -> Html Source
readFileIfExists :: a -> (Text -> a) -> FilePath -> IO a Source
readFileUtf8 :: FilePath -> IO Text Source
groupAndCount :: (Eq a, Ord a) => [a] -> [(a, Int)] Source
dropPrefix :: Eq a => [a] -> [a] -> ([a], [a]) Source
getRealDirectoryContents :: FilePath -> IO [String] Source