Futhark.Doc.Generator

The core logic of futhark doc.

Documentation

renderFiles :: [FilePath] -> Imports -> ([(FilePath, Html)], Warnings)

renderFiles important_imports imports produces HTML files documenting the type-checked program imports, with the files in important_imports considered most important. The HTML files must be written to the specific locations indicated in the return value, or the relative links will be wrong.