h&/(1      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{ | } ~                                                                 Safe-Inferred"Yagda-language-serverOffset => Position convertionagda-language-serverPositon => Offset convertionagda-language-server-LSP source locations => Agda source locationsLSP Range -> Agda Rangeagda-language-server(LSP Position -> Agda PositionWithoutFile agda-language-server9Return a list of offsets of linebreaks ("n", "r" or "rn") agda-language-server"(line, col) => offset (zero-based)     Safe-Inferred" `agda-language-server$Build and returns a new instance of  .agda-language-serverWrite a value to a  .agda-language-serverRead the next value from the  #. Blocks when the channel is empty.agda-language-server A version of  which does not block. Instead it returns Nothing if no value is available.agda-language-serverPeek the next value from the  7 without removing it. Blocks when the channel is empty.agda-language-server A version of  which does not block. Instead it returns Nothing if no value is available.agda-language-server The channelagda-language-serverIts sizeagda-language-serverPeeked payload   Safe-Inferred"; agda-language-serverCommand-line argumentsagda-language-server=Removes RTS options from a list of options (stolen from Agda)agda-language-server=Extract Agda options (+AGDA ... -AGDA) from a list of options   Safe-Inferred"  Safe-Inferred";agda-language-serverPicking the appropriate set of special characters depending on whether we are allowed to use unicode or have to limit ourselves to ascii.agda-language-server-Internal type, to be converted to JSON valuesagda-language-server/Horizontal grouping, wrap when there's no spaceagda-language-server9Vertical grouping, each children would end with a newlineagda-language-server Parentheseagda-language-server-Parenthese around a Horizontal, special case 'agda-language-serverBlock elementsagda-language-server#see if the rendered text is "empty",agda-language-server Whitespace3agda-language-serverUtilities / Combinators4agda-language-server2Just pure concatenation, no grouping or whatsoever6agda-language-serverVertical listing7agda-language-serverHorizontal listing:agda-language-server Single braces;agda-language-server Double bracesBagda-language-serverApply / to Doc if boolean is true.Cagda-language-server From braces'Dagda-language-serverShows a non-negative integer using the characters A-A instead of 0-9 unless the user explicitly asked us to not use any unicode characters.Iagda-language-serverToJSON instances for A.types!$%&'*()+,-./0123456789:;<=>?@ABCD!'*()$%&,-./120+3:C;B457869<=>D?@A+6 Safe-Inferred"Tagda-language-serverTypeclass for rendering InlinesWagda-language-serverRendering undersome context class RenderTCM a where renderTCM :: a -> Agda.TCM InlinesSimply "pure . render"Xagda-language-serverRender instances of PrettyYagda-language-serverlike prettyAZagda-language-serverlike  prettyATopbagda-language-serverOther instances of RenderTUVWXYZTUVWXYZ Safe-Inferred"T Safe-Inferred"jagda-language-server Abstract magda-language-server Concrete  Safe-Inferred"onagda-language-serverFrom  prettyHiding renderHiding info visible text# puts the correct braces around text according to info info and returns  visible text% if the we deal with a visible thing.wagda-language-serverQuantityxagda-language-server Relevanceyagda-language-serverMetaIdzagda-language-serverNameIdnopqrnopqr  Safe-Inferred"{agda-language-serverLiteral  Safe-Inferred"  Safe-Inferred " agda-language-serverNamed NamedName (Named_)agda-language-serverArgagda-language-server TypedBindingagda-language-server LamBindingagda-language-server NamedBindingagda-language-server Expressionagda-language-server InteractionIdagda-language-serverMaybePlaceholderagda-language-serverOpApp  Safe-Inferred"agda-language-serverTerm  Safe-Inferred"agda-language-server IPBoundary'agda-language-serverOutputConstraintagda-language-server OutputForm Safe-Inferred" Safe-Inferred" 0$%&')*(+,-./0123456789:;<=>?@ABCDTUVWXYZ Safe-Inferred";magda-language-serverIR for HighlightingInfoagda-language-server GiveResultagda-language-serverIR for DisplayInfoagda-language-server IR for IOCTMagda-language-server,Typeclass for converting Agda values into IR(( Safe-Inferred"agda-language-serverSerializing Info_Erroragda-language-server5Pretty-prints the context of the given meta-variable.agda-language-server5Pretty-prints the context of the given meta-variable.agda-language-server.Render the context of the given meta-variable.agda-language-server,Pretty-prints the type of the meta-variable.agda-language-server&Prefix prettified CPUTime with "Time:"agda-language-serverContext of this meta-variable.agda-language-server$Print the elements in reverse order?agda-language-serverContext of this meta-variable.agda-language-serverContext of this meta-variable.   Safe-Inferred"agda-language-serverBlocks if the front is emptyagda-language-serverMove the payload from the queue to the front Does not block if the front or the queue is emptyagda-language-serverDoes not block Move the payload to the front if the front is emptyagda-language-serverUnbounded Command queueagda-language-serverMVar for the Command consumer Safe-Inferred""agda-language-serverAn  Checkpoint is just a number with a callback, the callback will be invoked once the number is "met"agda-language-serverThe number of work dispatchedagda-language-serverThe number of work completedagda-language-server A channel of  Checkpoints to be metagda-language-server#Constructs a new ResponseControlleragda-language-serverReturns a callback, invoked the callback to signal completion. This function and the returned callback are both non-blocking.agda-language-serverExpects a callback, which will be invoked once all works dispatched BEFORE have been completed This function is non-blockingagda-language-serverThe blocking version of  Safe-Inferred"#agda-language-server OUR monadagda-language-serverProvideragda-language-server Consumteragda-language-server4Sends a Response to the client via "envResponseChan" Safe-Inferred"$Z Safe-Inferred";&hagda-language-server(For server to complete a 2-way handshakeagda-language-server Response for agda-language-server(For client to initiate a 2-way handshakeagda-language-serverConvert  CommandReq to  CommandResagda-language-serverRun a TCM action in IO and throw away all of the errors TODO: handle the caught errorsagda-language-serverVersion number of Agdaagda-language-server to indicate success Safe-Inferred"& Safe-Inferred"'agda-language-server$All channels go in and out from hereagda-language-server$For sending reactions to the client agda-language-serverKeep printing log Consumer of agda-language-server$Keep sending reactions Consumer of  Safe-Inferred";() !"#$%&'()*+,-../0123456789::;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                                                   &5agda-language-server-0.2.2.6.2-GEMsKgeRG8f5Pv7LGY4Jhr Agda.PositionControl.Concurrent.SizedChanOptionsRender.RichText Render.ClassRender.Position Render.Name Render.CommonRender.LiteralRender.TypeCheckingRender.ConcreteRender.InternalRender.Interaction Render.UtilsAgda.IR Agda.ConvertServer.CommandControllerServer.ResponseControllerMonad Agda.ParserAgdaServer.Handler SwitchboardServerPaths_agda_language_serverRender FromOffset unFromOffsetToOffset unToOffset toAgdaRangetoAgdaPositionWithoutFileprettyPositionWithoutFile makeToOffsettoOffset fromOffsetmakeFromOffset SizedChan newSizedChanwriteSizedChan readSizedChantryReadSizedChan peekSizedChantryPeekSizedChanisEmptySizedChanConfigconfigRawAgdaOptions optViaTCPoptRawAgdaOptionsoptHelpgetOptionsFromArgv usageMessage initConfig$fFromJSONConfig $fEqConfig $fShowConfig$fGenericConfigInlines unInlinesBlockLabeled UnlabeledHeader<+>spacetexttext'parensicon linkRangelinkHole punctuatehcathsepvcatsepfsepfcatbracesdbracesarrowlambdaforallQ leftIdiomBrktrightIdiomBrktemptyIdiomBrktmparensbraces' showIndex$fToJSONAbsolutePath $fToJSONMaybe$fToJSONPosition'$fToJSONInterval'$fToJSONRange' $fShowInline$fToJSONInline $fShowInlines$fToJSONInlines$fMonoidInlines$fSemigroupInlines$fIsStringInlines $fToJSONBlock$fGenericBlock$fGenericInlinerender renderPrecrenderMrenderPrenderA renderATop $fRenderList2$fRenderNonEmpty $fRender[] $fRenderDoc $fRenderBool$fRenderInteger $fRenderInt32 $fRenderInt$fRenderRange'$fRenderInterval'$fRenderInterval'0$fRenderPosition'$fRenderPosition'0$fRenderAbsolutePath $fRenderQName $fRenderName$fRenderQName0 $fRenderName0$fRenderNamePart renderHidingrenderRelevancerenderQuantityrenderCohesionprefixedThings$fRenderInduction$fRenderRewriteEqn'$fRenderCohesion$fRenderQωOrigin$fRenderQuantity$fRenderRelevance$fRenderMetaId$fRenderNameId$fRenderLiteral$fRenderPolarity$fRenderComparison$fRenderProblemId$fRenderOccurrence$fRenderNamedMeta renderTactic renderTactic'smashTelpHasEta0pRecordDirectivepRecordbracesAndSemicolons renderOpApp$fRenderImportedName'$fRenderRenaming'$fRenderUsing'$fRenderImportDirective'$fRenderPattern $fRenderNamed $fRenderArg$fRenderFixity'$fRenderGenPart$fRenderFixity$fRenderPragma$fRenderOpenShortHand$fRenderDeclaration$fRenderDoStmt$fRenderModuleApplication$fRenderLHSCore $fRenderLHS$fRenderWhereClause' $fRenderRHS' $fRenderTel$fRenderTypedBinding'$fRenderLamBinding'$fRenderNamedBinding$fRenderBinder'$fRenderBoundName$fRenderLamClause$fRenderModuleAssignment$fRenderFieldAssignment'$fRenderEither $fRenderExpr$fRenderInteractionId$fRenderMaybePlaceholder $fRenderOpApp$fRenderModality$fRenderWithHiding renderDomrenderPrecLevelSucs$fRenderBlocker$fRenderPattern'$fRenderDBPatVar $fRenderElim'$fRenderType'' $fRenderSort'$fRenderPlusLevel'$fRenderLevel' $fRenderTele$fRenderClause $fRenderDom' $fRenderTerm$fRenderSubstitution'$fRenderIPBoundary'$fRenderOutputConstraint$fRenderOutputForm$fRenderCPUTimeHighlightingInfosHighlightingInfo GiveResult GiveString GiveParen GiveNoParen DisplayInfoDisplayInfoGenericDisplayInfoAllGoalsWarningsDisplayInfoCurrentGoalDisplayInfoInferredTypeDisplayInfoCompilationOkDisplayInfoAutoDisplayInfoErrorDisplayInfoTimeDisplayInfoNormalFormResponseResponseHighlightingInfoDirect ResponseHighlightingInfoIndirectResponseDisplayInfoResponseStatus#ResponseClearHighlightingTokenBased*ResponseClearHighlightingNotOnlyTokenBasedResponseRunningInfoResponseClearRunningInfoResponseDoneAbortingResponseDoneExitingResponseGiveActionResponseInteractionPointsResponseMakeCaseFunctionResponseMakeCaseExtendedLambdaResponseSolveAllResponseJumpToError ResponseEnd FromAgdaTCM fromAgdaTCMFromAgdafromAgda$fToJSONDisplayInfo$fToJSONGiveResult$fFromAgdaGiveResultGiveResult$fToJSONHighlightingInfo$fToJSONHighlightingInfos$fToJSONResponse$fGenericResponse$fGenericHighlightingInfos$fShowHighlightingInfos$fGenericHighlightingInfo$fShowHighlightingInfo$fGenericGiveResult$fGenericDisplayInfo responseAbbr serialize fromResponsefromHighlightingInfofromDisplayInfolispifyGoalSpecificDisplayInfo showInfoErrorexplainWhyInScopeprettyResponseContextsprettyResponseContextrenderResponseContextprettyTypeOfMeta prettyTimedCommandControllernewtakereleaseputResponseControllerdispatchsetCheckpointAndWaitServerMEnv envOptions envDevMode envConfig envLogChanenvCommandControllerenvResponseChanenvResponseController createInitEnv runServerMwriteLog writeLog'provideCommandconsumeCommandwaitUntilResponsesSentsignalCommandFinish sendResponsetokenAtstart sendCommandgetCommandLineOptionsrunAgda$fFromJSONCommandReq$fToJSONCommandErr$fToJSONCommandRes$fGenericCommandRes$fGenericCommandErr$fGenericCommandReqinitialiseCommandQueue runCommandMinferTypeOfTextonHoversetupLanguageContextEnvdestroyrunstripRTSextractAgdaOptsversiongetDataFileName getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirSpecialCharactersInlineHorzVertParnPrHzisEmpty CheckpointdispatchedCountcompletedCountcheckpointChan setCheckpoint CmdResACKCmdResCmdReq CmdReqSYNbase GHC.MaybeNothingkeepPrintingLogkeepSendindResponse