| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Interaction.Highlighting.FromAbstract
Description
Extract highlighting syntax from abstract syntax.
Implements one big fold over abstract syntax.
Synopsis
- runHighlighter :: Hilite a => SourceToModule -> AbsolutePath -> NameKinds -> a -> HighlightingInfoBuilder
- type NameKinds = QName -> Maybe NameKind
Documentation
runHighlighter :: Hilite a => SourceToModule -> AbsolutePath -> NameKinds -> a -> HighlightingInfoBuilder Source #
Create highlighting info for some piece of syntax.