| Copyright | License : BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell2010 |
Idris.IdrisDoc
Description
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.