def id.ok

ezmcp@0.1.0.0 · src/rpc.bend:98

import ezmcp@0.1.0.0/src/rpc.bend as Rpc

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

98# whether a value is a request id MCP allows: a string or an integer, never
99# null (basic#requests)
100def id.ok(+val: Value.Json) -> Bool:
101  id.str(Json.as_str(val), val)

Uses (4)

Used by (1)

ezmcp@0.1.0.0/src/rpc:head