| 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 => TopLevelModuleName -> NameKinds -> a -> HighlightingInfoBuilder
- type NameKinds = QName -> Maybe NameKind
Documentation
Arguments
| :: Hilite a | |
| => TopLevelModuleName | The current top-level module's name. |
| -> NameKinds | |
| -> a | |
| -> HighlightingInfoBuilder |
Create highlighting info for some piece of syntax.