Agda.Interaction.Highlighting.FromAbstract

Extract highlighting syntax from abstract syntax.

Implements one big fold over abstract syntax.

Documentation

runHighlighter

Arguments

:: Hilite a

=> TopLevelModuleName

The current top-level module's name.

-> NameKinds

-> a

-> HighlightingInfoBuilder

Create highlighting info for some piece of syntax.

type NameKinds = QName -> Maybe NameKind

A function mapping names to the kind of name they stand for.