Agda-2.6.1: A dependently typed functional programming language and proof assistant

Safe HaskellNone
LanguageHaskell2010

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

ToJSON TokenBased Source # 
Instance details

Methods

toJSON :: TokenBased -> Value

toEncoding :: TokenBased -> Encoding

toJSONList :: [TokenBased] -> Value

toEncodingList :: [TokenBased] -> Encoding

EncodeTCM TokenBased Source # 
Instance details

Methods

encodeTCM :: TokenBased -> TCM Value Source #