| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Interaction.Highlighting.Emacs
Description
Functions which give precise syntax highlighting info to Emacs.
Documentation
lispifyHighlightingInfo Source #
Arguments
| :: HighlightingInfo | |
| -> ModuleToSource | Must contain a mapping for every definition site's module. |
| -> TCM (Lisp String) |
Turns syntax highlighting information into a list of S-expressions.