Language.LSP.Utils

Common types and utility funtions for the LSP server implementation.

(C) The Idris Community, 2021

Definitions

headerLineEnd : String

Visibility: export

fGetHeader : File -> IO (Either FileError String)

  Reads a single header from an LSP message on the supplied file handle.
  Headers end with the string "\r\n".

Visibility: export

stringify : JSON -> String

Visibility: export

pathToURI : String -> URI

Visibility: export

systemPathToURIPath : String -> String

Visibility: export

uriPathToSystemPath : String -> String

Visibility: export