Agda.Interaction.Highlighting.Emacs

Functions which give precise syntax highlighting info to Emacs.

Documentation

showHighlightingInfo

Arguments

:: Maybe (HighlightingInfo, ModuleToSource)

The ModuleToSource must contain a mapping for every definition site's module.

-> String

Shows syntax highlighting information in an Emacsy fashion.

tests :: IO Bool

All the properties.