def call.known

ezmcp@0.1.0.0 · src/server.bend:208

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

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

208def call.known(+name: String, +params: Value.Json, hit: Bool) -> Step:
209  match hit:
210    case False{}:
211      invalid("Unknown tool: " ++ name)
212    case True{}:
213      call.args(name, Json.has(params, "arguments"),
214        Json.get(params, "arguments"))

Uses (9)

Used by (1)

ezmcp@0.1.0.0/src/server:call.named