Finalizer.Fin.add_patch.go: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/finalizer.bend as Finalizer
Lines 36-43 of bend-kube-runtime@0.2.0.0/src/finalizer.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/finalizer.bend&start_line=36&end_line=43

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

def Fin.add_patch.go(fs: List<&2, String>, name: String, empty: Bool) -> J.Json:
  match empty:
    case True{}:
      J.Json.arr([Fin.op("test", "/metadata/finalizers", J.JNull{}),
        Fin.op("add", "/metadata/finalizers", J.Json.arr([J.JStr{name}]))])
    case False{}:
      J.Json.arr([Fin.op("test", "/metadata/finalizers", J.Json.arr(Fin.strs(fs))),
        Fin.op("add", "/metadata/finalizers/-", J.JStr{name})])

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/finalizer.bend&name=Fin.op
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/finalizer.bend&name=Fin.strs
  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.arr