Agda.Interaction.Highlighting.FromAbstract

Extract highlighting syntax from abstract syntax.

Implements one big fold over abstract syntax.

Documentation

runHighlighter :: Hilite a => SourceToModule -> AbsolutePath -> 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.