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}