| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Interaction.Highlighting.Emacs
Description
Functions which give precise syntax highlighting info to Emacs.
Synopsis
- type HighlightingInfo = RangeMap Aspects
- lispifyHighlightingInfo :: HighlightingInfo -> RemoveTokenBasedHighlighting -> HighlightingMethod -> ModuleToSource -> IO (Lisp String)
- lispifyHighlightingInfo_ :: ModuleToSource -> HighlightingInfo -> [Lisp String]
- lispifyTokenBased :: TokenBased -> Lisp String
Documentation
type HighlightingInfo = RangeMap Aspects Source #
Highlighting information.
Note the invariant which values of this type should satisfy
(highlightingInfoInvariant).
This is a type synonym in order to make it easy to change to another representation.
lispifyHighlightingInfo Source #
Arguments
| :: HighlightingInfo | |
| -> RemoveTokenBasedHighlighting | |
| -> HighlightingMethod | |
| -> ModuleToSource | Must contain a mapping for every definition site's module. |
| -> IO (Lisp String) |
Turns syntax highlighting information into a list of S-expressions.
lispifyHighlightingInfo_ Source #
Arguments
| :: ModuleToSource | Must contain a mapping for every definition site's module. |
| -> HighlightingInfo | |
| -> [Lisp String] |
Run showAspects on a whole RangeMap.
lispifyTokenBased :: TokenBased -> Lisp String Source #
Formats the TokenBased tag for the Emacs backend. No quotes are
added.