def call.named

ezmcp@0.1.0.0 · src/server.bend:216

import ezmcp@0.1.0.0/src/server.bend as Server

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

216def call.named(
217  tools: List<&2, Tool>,
218  +params: Value.Json,
219  name: Maybe<&2, String>
220) -> Step:
221  match name:
222    case None{}:
223      invalid("tools/call: params.name must be a string")
224    case Some{+n}:
225      call.known(n, params, known(tools, n))

Uses (9)

Used by (1)

ezmcp@0.1.0.0/src/server:call