Endpoints.scala

// scalafmt: { maxColumn = 120 }
package org.langmeta.lsp

import org.langmeta.jsonrpc.Endpoint
import org.langmeta.jsonrpc.Endpoint._
import io.circe.Json
import org.langmeta.jsonrpc.JsonRpcClient

object Lifecycle extends Lifecycle
trait Lifecycle {
  val initialized: Endpoint[Json, Unit] =
    notification("initialized")
  val initialize: Endpoint[InitializeParams, InitializeResult] =
    request[InitializeParams, InitializeResult]("initialize")
  val shutdown: Endpoint[Json, Json] =
    request("shutdown")
  val exit: Endpoint[Json, Unit] =
    notification("exit")
}

object TextDocument extends TextDocument
trait TextDocument {
  val publishDiagnostics: Endpoint[PublishDiagnostics, Unit] =
    notification[PublishDiagnostics]("textDocument/publishDiagnostics")
  val didClose: Endpoint[DidCloseTextDocumentParams, Unit] =
    notification[DidCloseTextDocumentParams]("textDocument/didClose")
  val didSave: Endpoint[DidSaveTextDocumentParams, Unit] =
    notification[DidSaveTextDocumentParams]("textDocument/didSave")
  val didOpen: Endpoint[DidOpenTextDocumentParams, Unit] =
    notification[DidOpenTextDocumentParams]("textDocument/didOpen")
  val didChange: Endpoint[DidChangeTextDocumentParams, Unit] =
    notification[DidChangeTextDocumentParams]("textDocument/didChange")
  val completion: Endpoint[TextDocumentPositionParams, CompletionList] =
    request[TextDocumentPositionParams, CompletionList]("textDocument/completion")
  val definition: Endpoint[TextDocumentPositionParams, List[Location]] =
    request[TextDocumentPositionParams, List[Location]]("textDocument/definition")
  val references: Endpoint[ReferenceParams, List[Location]] =
    request[ReferenceParams, List[Location]]("textDocument/references")
  val hover: Endpoint[TextDocumentPositionParams, Hover] =
    request[TextDocumentPositionParams, Hover]("textDocument/hover")
  val codeAction: Endpoint[CodeActionParams, List[Command]] =
    request[CodeActionParams, List[Command]]("textDocument/codeAction")
  val documentHighlight: Endpoint[TextDocumentPositionParams, List[DocumentHighlight]] =
    request[TextDocumentPositionParams, List[DocumentHighlight]]("textDocument/documentHighlight")
  val documentSymbol: Endpoint[DocumentSymbolParams, List[SymbolInformation]] =
    request[DocumentSymbolParams, List[SymbolInformation]]("textDocument/documentSymbol")
  val formatting: Endpoint[DocumentFormattingParams, List[TextEdit]] =
    request[DocumentFormattingParams, List[TextEdit]]("textDocument/formatting")
  val rename: Endpoint[RenameParams, WorkspaceEdit] =
    request[RenameParams, WorkspaceEdit]("textDocument/rename")
  val signatureHelp: Endpoint[TextDocumentPositionParams, SignatureHelp] =
    request[TextDocumentPositionParams, SignatureHelp]("textDocument/signatureHelp")
}

object Workspace extends Workspace
trait Workspace {
  val didChangeConfiguration: Endpoint[DidChangeConfigurationParams, Unit] =
    notification[DidChangeConfigurationParams]("workspace/didChangeConfiguration")
  val didChangeWatchedFiles: Endpoint[DidChangeWatchedFilesParams, Unit] =
    notification[DidChangeWatchedFilesParams]("workspace/didChangeWatchedFiles")
  val executeCommand: Endpoint[ExecuteCommandParams, Json] =
    request[ExecuteCommandParams, Json]("workspace/executeCommand")
  val symbol: Endpoint[WorkspaceSymbolParams, List[SymbolInformation]] =
    request[WorkspaceSymbolParams, List[SymbolInformation]]("workspace/symbol")
  val applyEdit: Endpoint[ApplyWorkspaceEditParams, ApplyWorkspaceEditResponse] =
    request[ApplyWorkspaceEditParams, ApplyWorkspaceEditResponse]("workspace/applyEdit")
}

object Window extends Window
trait Window {
  object showMessage extends Endpoint[ShowMessageParams, Unit]("window/showMessage") {
    def error(message: String)(implicit client: JsonRpcClient): Unit =
      showMessage.notify(ShowMessageParams(MessageType.Error, message))
    def warn(message: String)(implicit client: JsonRpcClient): Unit =
      showMessage.notify(ShowMessageParams(MessageType.Warning, message))
    def info(message: String)(implicit client: JsonRpcClient): Unit =
      showMessage.notify(ShowMessageParams(MessageType.Info, message))
  }
  object logMessage extends Endpoint[LogMessageParams, Unit]("window/logMessage") {
    def log(message: String)(implicit client: JsonRpcClient): Unit =
      super.notify(LogMessageParams(MessageType.Log, message))
  }
}