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

Index - F

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