| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Interaction.Highlighting.JSON
Contents
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
| EncodeTCM TokenBased Source # | |
| ToJSON TokenBased Source # | |
Methods toJSON :: TokenBased -> Value # toEncoding :: TokenBased -> Encoding # toJSONList :: [TokenBased] -> Value # toEncodingList :: [TokenBased] -> Encoding # omitField :: TokenBased -> Bool # | |