def text

bolt@1.27.0.0 · src/lsp/server.bend:153

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

153# a reply as the text sent
154def text(rr: Reply) -> String:
155  match rr:
156    case RNote{body}:
157      body
158    case RResult{id, result}:
159      Ezjson.print(Proto.response(id, result))
160    case RError{id, code, message}:
161      Ezjson.print(Proto.failure(id, code, message))

Uses (5)

Used by (1)