Agda-2.6.2.2.20221128: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.Interaction.Highlighting.JSON

Description

Functions which give precise syntax highlighting info in JSON format.

Synopsis

Documentation

jsonifyHighlightingInfo Source #

Arguments

:: HighlightingInfo 
-> RemoveTokenBasedHighlighting 
-> HighlightingMethod 
-> ModuleToSource

Must contain a mapping for every definition site's module.

-> IO Value 

Turns syntax highlighting information into a JSON value

Orphan instances