agda-language-server-0.2.6.3.0: An implementation of language server protocal (LSP) for Agda 2.

Index

<+>Render.RichText, Render
arrowRender.RichText, Render
BlockRender.RichText, Render
bracesRender.RichText, Render
braces'Render.RichText, Render
bracesAndSemicolonsRender.Concrete, Render
CommandControllerServer.CommandController
Config 
1 (Type/Class)Options
2 (Data Constructor)Options
configRawAgdaOptionsOptions
consumeCommandMonad
createInitEnvMonad
dbracesRender.RichText, Render
destroySwitchboard
dispatchServer.ResponseController
DisplayInfoAgda.IR
DisplayInfoAllGoalsWarningsAgda.IR
DisplayInfoAutoAgda.IR
DisplayInfoCompilationOkAgda.IR
DisplayInfoCurrentGoalAgda.IR
DisplayInfoErrorAgda.IR
DisplayInfoGenericAgda.IR
DisplayInfoInferredTypeAgda.IR
DisplayInfoNormalFormAgda.IR
DisplayInfoTimeAgda.IR
emptyIdiomBrktRender.RichText, Render
Env 
1 (Type/Class)Monad
2 (Data Constructor)Monad
envCommandControllerMonad
envConfigMonad
envDevModeMonad
envLogChanMonad
envOptionsMonad
envResponseChanMonad
envResponseControllerMonad
explainWhyInScopeAgda.Convert
fcatRender.RichText, Render
forallQRender.RichText, Render
FromAgdaAgda.IR
fromAgdaAgda.IR
FromAgdaTCMAgda.IR
fromAgdaTCMAgda.IR
fromDisplayInfoAgda.Convert
fromHighlightingInfo 
1 (Function)Agda.Convert
2 (Function)Server.Handler
FromOffset 
1 (Type/Class)Agda.Position
2 (Data Constructor)Agda.Position
fromOffsetAgda.Position
fromResponseAgda.Convert
fsepRender.RichText, Render
getCommandLineOptionsAgda
getOptionsFromArgvOptions
GiveNoParenAgda.IR
GiveParenAgda.IR
GiveResultAgda.IR
GiveStringAgda.IR
hcatRender.RichText, Render
HeaderRender.RichText, Render
HighlightingInfo 
1 (Type/Class)Agda.IR
2 (Data Constructor)Agda.IR
HighlightingInfos 
1 (Type/Class)Agda.IR
2 (Data Constructor)Agda.IR
hsepRender.RichText, Render
iconRender.RichText, Render
inferTypeOfTextServer.Handler
initConfigOptions
initialiseCommandQueueServer.Handler
Inlines 
1 (Type/Class)Render.RichText, Render
2 (Data Constructor)Render.RichText, Render
isEmptySizedChanControl.Concurrent.SizedChan
LabeledRender.RichText, Render
lambdaRender.RichText, Render
leftIdiomBrktRender.RichText, Render
linkHoleRender.RichText, Render
linkRangeRender.RichText, Render
lispifyGoalSpecificDisplayInfoAgda.Convert
makeFromOffsetAgda.Position
makeToOffsetAgda.Position
mparensRender.RichText, Render
new 
1 (Function)Server.CommandController
2 (Function)Server.ResponseController
3 (Function)Switchboard
newSizedChanControl.Concurrent.SizedChan
onHoverServer.Handler
optHelpOptions
Options 
1 (Type/Class)Options
2 (Data Constructor)Options
optRawAgdaOptionsOptions
optViaTCPOptions
parensRender.RichText, Render
peekSizedChanControl.Concurrent.SizedChan
pHasEta0Render.Concrete, Render
pRecordRender.Concrete, Render
pRecordDirectiveRender.Concrete, Render
prefixedThingsRender.Common
prettyPositionWithoutFileAgda.Position
prettyResponseContextAgda.Convert
prettyResponseContextsAgda.Convert
prettyTimedAgda.Convert
prettyTypeOfMetaAgda.Convert
provideCommandMonad
punctuateRender.RichText, Render
putServer.CommandController
readSizedChanControl.Concurrent.SizedChan
releaseServer.CommandController
RenderRender.Class, Render
renderRender.Class, Render
renderARender.Class, Render
renderATopRender.Class, Render
renderCohesionRender.Common
renderDomRender.Internal
renderHidingRender.Common
renderMRender.Class, Render
renderOpAppRender.Concrete, Render
renderPRender.Class, Render
renderPrecRender.Class, Render
renderPrecLevelSucsRender.Internal
renderQuantityRender.Common
renderRelevanceRender.Common
renderResponseContextAgda.Convert
renderTacticRender.Concrete, Render
renderTactic'Render.Concrete, Render
ResponseAgda.IR
responseAbbrAgda.Convert
ResponseClearHighlightingNotOnlyTokenBasedAgda.IR
ResponseClearHighlightingTokenBasedAgda.IR
ResponseClearRunningInfoAgda.IR
ResponseControllerServer.ResponseController
ResponseDisplayInfoAgda.IR
ResponseDoneAbortingAgda.IR
ResponseDoneExitingAgda.IR
ResponseEndAgda.IR
ResponseGiveActionAgda.IR
ResponseHighlightingInfoDirectAgda.IR
ResponseHighlightingInfoIndirectAgda.IR
ResponseInteractionPointsAgda.IR
ResponseJumpToErrorAgda.IR
ResponseMakeCaseExtendedLambdaAgda.IR
ResponseMakeCaseFunctionAgda.IR
ResponseRunningInfoAgda.IR
ResponseSolveAllAgda.IR
ResponseStatusAgda.IR
rightIdiomBrktRender.RichText, Render
runServer
runAgdaAgda
runCommandMServer.Handler
runServerMMonad
sendCommandAgda
sendResponseMonad
sepRender.RichText, Render
serializeAgda.Convert
ServerMMonad
setCheckpointAndWaitServer.ResponseController
setupLanguageContextEnvSwitchboard
showIndexRender.RichText, Render
showInfoErrorAgda.Convert
signalCommandFinishMonad
SizedChanControl.Concurrent.SizedChan
smashTelRender.Concrete, Render
spaceRender.RichText, Render
startAgda
SwitchboardSwitchboard
takeServer.CommandController
textRender.RichText, Render
text'Render.RichText, Render
toAgdaPositionWithoutFileAgda.Position
toAgdaRangeAgda.Position
tokenAtAgda.Parser
ToOffset 
1 (Type/Class)Agda.Position
2 (Data Constructor)Agda.Position
toOffsetAgda.Position
tryPeekSizedChanControl.Concurrent.SizedChan
tryReadSizedChanControl.Concurrent.SizedChan
unFromOffsetAgda.Position
unInlinesRender.RichText, Render
UnlabeledRender.RichText, Render
unToOffsetAgda.Position
usageMessageOptions
vcatRender.RichText, Render
waitUntilResponsesSentMonad
writeLogMonad
writeLog'Monad
writeSizedChanControl.Concurrent.SizedChan