~/jendhub

def failure

bolt@1.27.0.0 · src/lsp/proto.bend:28

import bolt@1.27.0.0/src/lsp/proto.bend as Proto
import Base
import emerging-ezjson@1.2.0.0/main.bend as Ezjson
import emerging-ezjson@1.2.0.0/src/value.bend as J

28# a refusal of a request, with LSP's error code and a message
29def failure(id: J.Json, code: String, message: String) -> J.Json:
30  Ezjson.obj([("jsonrpc", J.JStr{"2.0"}), ("id", id),
31    ("error", Ezjson.obj([("code", J.JNum{code}), ("message", J.JStr{message})]))])

Uses (5)

Used by (1)