Agda-2.2.4: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Interaction.Highlighting.Emacs
Description
Functions which give precise syntax highlighting info to Emacs.
Synopsis
clearSyntaxInfo :: FilePath -> IO ()
writeEmacsFile :: HighlightingInfo -> TCM ()
appendErrorToEmacsFile :: TCErr -> TCM ()
tests :: IO Bool
Documentation
clearSyntaxInfoSource
:: FilePathThe path to the file which should be highlighted (not the file which should be cleared).
-> IO ()

Clears a syntax highlighting information file.

The output file name is constructed from the given file name by prepending "." and appending ".el".

writeEmacsFile :: HighlightingInfo -> TCM ()Source
Outputs syntax highlighting information after clearing existing highlighting info.
appendErrorToEmacsFile :: TCErr -> TCM ()Source
Appends information about an error to the highlighting file relevant for the error.
tests :: IO BoolSource
All the properties.
Produced by Haddock version 2.4.2