Safe Haskell | None |
---|---|
Language | Haskell98 |
Generates data used for precise syntax highlighting.
- data Level
- generateAndPrintSyntaxInfo :: Declaration -> Level -> TCM ()
- generateTokenInfo :: AbsolutePath -> TCM CompressedFile
- generateTokenInfoFromString :: Range -> String -> TCM CompressedFile
- printSyntaxInfo :: Range -> TCM ()
- printErrorInfo :: TCErr -> TCM ()
- errorHighlighting :: TCErr -> TCM File
- printUnsolvedInfo :: TCM ()
- printHighlightingInfo :: MonadTCM tcm => HighlightingInfo -> tcm ()
- highlightAsTypeChecked :: MonadTCM tcm => Range -> Range -> tcm a -> tcm a
- computeUnsolvedMetaWarnings :: TCM File
- computeUnsolvedConstraints :: TCM File
- storeDisambiguatedName :: QName -> TCM ()
- tests :: IO Bool
Documentation
Highlighting levels.
generateAndPrintSyntaxInfo :: Declaration -> Level -> TCM () Source
Generate syntax highlighting information for the given
declaration, and (if appropriate) print it. If the
HighlightingLevel
is
, then the state is
additionally updated with the new highlighting info (in case of a
conflict new info takes precedence over old info).Full
The procedure makes use of some of the token highlighting info in
stTokens
(that corresponding to the interval covered by the
declaration). If the HighlightingLevel
is
,
then this token highlighting info is additionally removed from
Full
stTokens
.
:: AbsolutePath | The module to highlight. |
-> TCM CompressedFile |
Generate and return the syntax highlighting information for the tokens in the given file.
generateTokenInfoFromString :: Range -> String -> TCM CompressedFile Source
Same as generateTokenInfo
but takes a string instead of a filename.
printSyntaxInfo :: Range -> TCM () Source
printErrorInfo :: TCErr -> TCM () Source
Prints syntax highlighting info for an error.
errorHighlighting :: TCErr -> TCM File Source
Generate highlighting for error. Does something special for termination errors.
printUnsolvedInfo :: TCM () Source
Generates and prints syntax highlighting information for unsolved meta-variables and certain unsolved constraints.
printHighlightingInfo :: MonadTCM tcm => HighlightingInfo -> tcm () Source
Lispify and print the given highlighting information.
highlightAsTypeChecked :: MonadTCM tcm => Range -> Range -> tcm a -> tcm a Source
highlightAsTypeChecked rPre r m
runs m
and returns its
result. Additionally, some code may be highlighted:
- If
r
is non-empty and not a sub-range ofrPre
(aftercontinuousPerLine
has been applied to both):r
is highlighted as being type-checked whilem
is running (this highlighting is removed ifm
completes successfully). - Otherwise: Highlighting is removed for
rPre - r
beforem
runs, and ifm
completes successfully, thenrPre - r
is highlighted as being type-checked.
computeUnsolvedMetaWarnings :: TCM File Source
Generates syntax highlighting information for unsolved meta variables.
computeUnsolvedConstraints :: TCM File Source
Generates syntax highlighting information for unsolved constraints that are not connected to a meta variable.
storeDisambiguatedName :: QName -> TCM () Source
Remember a name disambiguation (during type checking). To be used later during syntax highlighting.