def init.with

ezmcp@0.1.0.0 · src/server.bend:137

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

137# the members of an initialize result
138def init.with(
139  version: String,
140  caps: Value.Json,
141  info: Value.Json,
142  +instructions: String
143) -> Value.Json:
144  Json.obj(List.append(&1, String & Value.Json,
145    [("protocolVersion", Json.str(version)), ("capabilities", caps),
146      ("serverInfo", info)],
147    init.extra(instructions, String.is_empty(instructions))))