agda-language-server-0.2.2.6.2: An implementation of language server protocal (LSP) for Agda 2.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.Convert

Synopsis

Documentation

responseAbbr :: IsString a => Response -> a Source #

serialize :: Lisp String -> String Source #

fromResponse :: Response -> TCM Response Source #

fromHighlightingInfo :: HighlightingInfo -> RemoveTokenBasedHighlighting -> HighlightingMethod -> ModuleToSource -> TCM Response Source #

fromDisplayInfo :: DisplayInfo -> TCM DisplayInfo Source #

lispifyGoalSpecificDisplayInfo :: InteractionId -> GoalDisplayInfo -> TCM DisplayInfo Source #

showInfoError :: Info_Error -> TCM String Source #

Serializing Info_Error

explainWhyInScope :: FilePath -> String -> Maybe LocalVar -> [AbstractName] -> [AbstractModule] -> TCM Doc Source #

prettyResponseContexts Source #

Arguments

:: InteractionId

Context of this meta-variable.

-> Bool

Print the elements in reverse order?

-> [ResponseContextEntry] 
-> TCM Doc 

Pretty-prints the context of the given meta-variable.

prettyResponseContext Source #

Arguments

:: InteractionId

Context of this meta-variable.

-> ResponseContextEntry 
-> TCM [(String, Doc)] 

Pretty-prints the context of the given meta-variable.

renderResponseContext Source #

Arguments

:: InteractionId

Context of this meta-variable.

-> ResponseContextEntry 
-> TCM [Block] 

Render the context of the given meta-variable.

prettyTypeOfMeta :: Rewrite -> InteractionId -> TCM (Inlines, String) Source #

Pretty-prints the type of the meta-variable.

prettyTimed :: CPUTime -> Doc Source #

Prefix prettified CPUTime with "Time:"