h$&      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{ | } ~                                                                None Lagda-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.  None 8 <agda-language-serverCommand-line arguments   Safe-Inferred |None 8> x 'agda-language-serverBlock elements,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+6None >sTagda-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 RenderTUVWXYZTUVWXYZNone >None  jagda-language-server Abstract magda-language-server Concrete None nagda-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 None {agda-language-serverLiteral None  None > 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 None >agda-language-serverTerm None agda-language-server IPBoundary'agda-language-serverOutputConstraintagda-language-server OutputFormNone None 0$%&'*()+,-./0123456789:;<=>?@ABCDTUVWXYZNone 89agda-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((None 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.  None 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 empty Safe-Inferred Lagda-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-serverThe blocking version of None ?;agda-language-server OUR monadagda-language-serverProvideragda-language-server Consumteragda-language-server4Sends a Response to the client via "envResponseChan"None None 8agda-language-serverConvert  CommandReq to  CommandResagda-language-serverRun a TCM action in IO and throw away all of the errors TODO: handle the caught errorsNone None iagda-language-server$All channels go in and out from hereagda-language-server$For sending reactions to the client None 8 !"#$%&'()*+,-../0123456789::;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                                                   1agda-language-server-0.2.0-AJU15Ts3xVp20JV3Oc0yTW 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 runCommandMinferTypeOfTextonHoversetupLanguageContextEnvdestroyrunversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName setCheckpoint