| Safe Haskell | None |
|---|
Idris.IdrisDoc
Description
Generation of HTML documentation for Idris code
- generateDocs :: IState -> [Name] -> FilePath -> IO (Either String ())
Documentation
Arguments
| :: IState | IState where all necessary information is extracted from. |
| -> [Name] | List of namespaces to generate documentation for. |
| -> FilePath | The directory to which documentation will be written. |
| -> IO (Either String ()) |
Generates HTML documentation for a series of loaded namespaces and their dependencies.