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

Index - T

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