Watcher.Watcher.event: def of bend-kube-runtime@0.2.0.0 Import: import bend-kube-runtime@0.2.0.0/src/watcher.bend as Watcher Lines 142-156 of bend-kube-runtime@0.2.0.0/src/watcher.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/watcher.bend&start_line=142&end_line=156 import Base import bend-kube-runtime@0.2.0.0/src/core.bend as C # One watch event while watching from rv. def Watcher.event(rv: String, +fails: U32, ev: C.WEvent) -> Step: match ev: case C.WAdded{+o}: Step{WState{WWatch{C.Obj.rv(o)}, 0, False{}}, [OApply{o}], False{}} case C.WModified{+o}: Step{WState{WWatch{C.Obj.rv(o)}, 0, False{}}, [OApply{o}], False{}} case C.WDeleted{+o}: Step{WState{WWatch{C.Obj.rv(o)}, 0, False{}}, [ODelete{o}], False{}} case C.WBookmark{v}: Step{WState{WWatch{v}, 0, False{}}, Nil{}, False{}} case C.WError{C.Status{+code, r, m}}: Watcher.watch_err(rv, fails, Watcher.is_gone(code)) case C.WBad{m}: Watcher.retry(WWatch{rv}, fails, False{}) Uses (14): 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=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=Obj.rv https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=Status https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/core.bend&name=WEvent https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/watcher.bend&name=Out https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/watcher.bend&name=Phase https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/watcher.bend&name=Step https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/watcher.bend&name=WState https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/watcher.bend&name=Watcher.is_gone https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/watcher.bend&name=Watcher.retry https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/watcher.bend&name=Watcher.watch_err