~/jendhub

def position.at

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

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

56# an LSP position as sent: a line and a character already in the negotiated
57# encoding
58def position.at(line: U32, character: U32) -> J.Json:
59  Ezjson.obj([("line", J.JNum{U32.show(line)}), ("character", J.JNum{U32.show(character)})])

Uses (6)

Used by (1)