def reply

ezmcp@0.1.0.0 · src/rpc.bend:228

import Base
import emerging-ezjson@1.2.0.0/main.bend as Json
import emerging-ezjson@1.2.0.0/src/value.bend as Value

228# the reply to a request with this id (MCP basic#responses)
229def reply(id: Value.Json, out: Out) -> Value.Json:
230  match out:
231    case Ok{result}:
232      Json.obj([("jsonrpc", Json.str("2.0")), ("id", id), ("result", result)])
233    case Err{c, message}:
234      Json.obj([("jsonrpc", Json.str("2.0")), ("id", id),
235        ("error", error.obj(c, message))])