| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Interaction.Highlighting.JSON
Contents
Description
Functions which give precise syntax highlighting info in JSON format.
Synopsis
- jsonifyHighlightingInfo :: HighlightingInfo -> RemoveTokenBasedHighlighting -> HighlightingMethod -> ModuleToSource -> IO Value
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
| ToJSON TokenBased Source # | |
Methods toJSON :: TokenBased -> Value toEncoding :: TokenBased -> Encoding toJSONList :: [TokenBased] -> Value toEncodingList :: [TokenBased] -> Encoding | |
| EncodeTCM TokenBased Source # | |
Methods encodeTCM :: TokenBased -> TCM Value Source # | |