gleamunison/lsp_types

Shared LSP types and response builders. Both the protocol core (lsp.gleam) and the language features (lsp_features.gleam) need them; keeping them here breaks the import cycle between the two.

Types

Message

</>

pub type Message {
  Message(
    id: option.Option(dynamic.Dynamic),
    method: String,
    params: dict.Dict(String, dynamic.Dynamic),
  )
}

Constructors

Message(
  id: option.Option(dynamic.Dynamic),
  method: String,
  params: dict.Dict(String, dynamic.Dynamic),
)

State

</>

Server state: the open documents. Stateless services can’t answer “what is THIS symbol in THIS file” — hover/definition/completion read the document the client opened.

pub type State {
  State(docs: dict.Dict(String, String))
}

Constructors

```
State(docs: dict.Dict(String, String))
```

Values

error_response

</>

pub fn error_response(
  id: dynamic.Dynamic,
  code: Int,
  message: String,
) -> String

id_json

</>

pub fn id_json(id: dynamic.Dynamic) -> String

jstr

</>

pub fn jstr(s: String) -> String

new_state

</>

pub fn new_state() -> State

open_doc

</>

pub fn open_doc(state: State, uri: String, text: String) -> State

respond

</>

pub fn respond(id: dynamic.Dynamic, result: String) -> String