Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

ModuleAgda-2.7.0.1Haskell2010

Agda.Interaction.Highlighting.FromAbstract

Extract highlighting syntax from abstract syntax.

Implements one big fold over abstract syntax.

1 type
1 value

PackageAgda-2.7.0.1
Exports2
LanguageHaskell2010
LicenceMIT
SourceFromAbstract.hs

valuerunHighlighter

:: Hilite a
=> TopLevelModuleName
The current top-level module's name.
-> NameKinds
-> a
-> HighlightingInfoBuilder

Create highlighting info for some piece of syntax.

typetype NameKinds = QName -> Maybe NameKind

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