def name.of

ezmcp@0.1.0.0 · src/openapi.bend:723

import ezmcp@0.1.0.0/src/openapi.bend as Openapi

import Base

723# a tool's name: the operation's id when it is a non-empty string, else one
724# made from the method and path (`generated`), as a tool name (`sanitize`)
725def name.of(id: Maybe<&2, String>, +method: String, path: String) -> String:
726  sanitize(Maybe.default(&2, String, full(id), generated(method, path)))

Uses (6)

Used by (1)

ezmcp@0.1.0.0/src/openapi:op