server package:lsp

Contains all the callbacks to use for initialized the language server. it is parameterized over a config type variable representing the type for the specific configuration data the language server needs to use.

ServerDefinition :: config -> Text -> (config -> Value -> Either Text config) -> (config -> m ()) -> (LanguageContextEnv config -> TMessage Method_Initialize -> IO (Either (TResponseError Method_Initialize) a)) -> (ClientCapabilities -> Handlers m) -> (a -> m <~> IO) -> Options -> ServerDefinition config

lsp Language.LSP.Server

data LspServerLog

lsp Language.LSP.Server

optServerInfo :: Options -> Maybe ServerInfo

lsp Language.LSP.Server

Information about the server that can be advertised to the client.

runServer :: forall config . ServerDefinition config -> IO Int

lsp Language.LSP.Server

Convenience function for runServerWithHandles which: (1) reads from stdin; (2) writes to stdout; and (3) logs to stderr and to the client, with some basic filtering.

runServerWith :: LogAction IO (WithSeverity LspServerLog) -> LogAction (LspM config) (WithSeverity LspServerLog) -> IO ByteString -> (ByteString -> IO ()) -> ServerDefinition config -> IO Int

lsp Language.LSP.Server

Starts listening and sending requests and responses using the specified I/O.

runServerWithHandles :: LogAction IO (WithSeverity LspServerLog) -> LogAction (LspM config) (WithSeverity LspServerLog) -> Handle -> Handle -> ServerDefinition config -> IO Int

lsp Language.LSP.Server

Starts a language server over the specified handles. This function will return once the exit notification is received.

changeFromServerVFS :: forall m . MonadState VFS m => LogAction m (WithSeverity VfsLog) -> TMessage 'Method_WorkspaceApplyEdit -> m ()

lsp Language.LSP.VFS

Applies the changes from a ApplyWorkspaceEditRequest to the VFS