def Opts.with_leader

bend-kube-runtime@0.2.0.0 · src/kube.bend:28

import bend-kube-runtime@0.2.0.0/src/kube.bend as Kube
import Base
import bend-kube-runtime@0.2.0.0/src/leader.bend as E

28def Opts.with_leader(o: Opts, ns: String, name: String, id: String) -> Opts:
29  match o:
30    case Opts{m, p, l, s}:
31      Opts{m, p, Some{E.LOpts.default(ns, name, id)}, s}

Uses (4)

Used by (0)

No other definition uses this definition.