Agda.Interaction.Highlighting.Common

Common syntax highlighting functions for Emacs and JSON

Documentation

toAtoms :: Aspects -> [String]

Converts the aspect and otherAspects fields to strings that are friendly to editors.

chooseHighlightingMethod :: HighlightingInfo -> HighlightingMethod -> HighlightingMethod

Choose which method to use based on HighlightingInfo and HighlightingMethod