def line_range

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

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
import bolt@1.27.0.0/src/lsp/enc.bend as Enc

109# a whole line as a range
110def line_range(+cc: Enc.Cols, +line: U32) -> J.Json:
111  Ezjson.obj([("start", position(cc, line, 0)), ("end", position(cc, (line + 1 : U32), 0))])