Core.Api.path: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/core.bend as Core
Lines 101-105 of bend-kube-runtime@0.2.0.0/src/core.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&start_line=101&end_line=105

import Base

# The collection's path, as kube-core's url_path: /api/v1/namespaces/x/pods.
def Api.path(a: Api) -> String:
  match a:
    case Api{Res{+g, v, k, p, n}, s}:
      Api.prefix(g, v, String.is_empty(g)) ++ Api.ns_part(s, n) ++ "/" ++ p

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=Api
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=Api.ns_part
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=Api.prefix
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=Res