|
Agda.Interaction.Highlighting.Generate |
|
|
Description |
Generates data used for precise syntax highlighting.
|
|
Synopsis |
|
|
|
Documentation |
|
|
:: AbsolutePath | The module to highlight.
| -> Maybe TCErr | Nothing if the module has been
successfully type checked (perhaps
with warnings), otherwise the
offending error.
Precondition: The range of the error
must match the file name given in the
previous argument.
| -> TopLevelInfo | The abstract syntax of the module.
| -> [([QName], [Range])] | Functions which failed to termination
check (grouped if they are mutual),
along with ranges for problematic
call sites.
| -> TCM HighlightingInfo | | Generates syntax highlighting information.
|
|
|
|
Generates syntax highlighting information for an error,
represented as a range and an optional string. The error range is
completed so that there are no gaps in it.
Nothing is generated unless the file name component of the range is
defined.
|
|
|
All the properties.
|
|
Produced by Haddock version 2.4.2 |