Core.Req.patch: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/core.bend as Core
Lines 235-239 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=235&end_line=239

import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J
import bend-kube-runtime@0.2.0.0/src/http.bend as H

# A patch of the object, or of a subresource ("status", "scale") when sub
# is not empty. Server-side apply (PApply) sends JSON, which is YAML.
def Req.patch(a: Api, name: String, +sub: String, +p: PatchKind, body: J.Json) -> H.Req:
  H.Req{"PATCH", Api.item(a, name) ++ Req.sub(sub) ++ Query.render(PatchKind.query(p)),
    Req.body_headers(PatchKind.content_type(p)), J.Json.show(body)}

Uses (13):
  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=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.item
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=PatchKind
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=PatchKind.content_type
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=PatchKind.query
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=Query.render
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=Req.body_headers
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=Req.sub
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/http.bend&name=Req
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.show