def step.go

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

import bolt@1.27.0.0/src/lsp/server.bend as Server
import Base
import emerging-ezjson@1.2.0.0/src/value.bend as J

195def step.go(rr: Role, id: J.Json, ww: Work) -> Out:
196  match rr:
197    case RRequest{}:
198      Work{notes, answer, docs} = ww
199      Out{[respond(id, answer)], False{}, docs}
200    case RNotice{}:
201      Work{notes, answer, docs} = ww
202      Out{notices(notes), False{}, docs}
203    case RExit{}:
204      Work{notes, answer, docs} = ww
205      Out{[], True{}, docs}
206    case RUnknown{}:
207      Work{notes, answer, docs} = ww
208      Out{unknown(id), False{}, docs}

Uses (9)

Used by (1)