Kube.Kube.configured: def of bend-kube-runtime@0.2.0.0 Import: import bend-kube-runtime@0.2.0.0/src/kube.bend as Kube Lines 71-78 of bend-kube-runtime@0.2.0.0/src/kube.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/kube.bend&start_line=71&end_line=78 import Base import bend-kube-runtime@0.2.0.0/src/json.bend as J import bend-kube-runtime@0.2.0.0/src/core.bend as C import bend-kube-runtime@0.2.0.0/src/config.bend as K import bend-kube-runtime@0.2.0.0/src/queue.bend as Q def Kube.configured(~rec: J.Json -> K.Config -> IO(Q.Action), c: Result<&2, &2, String, K.Config>, primary: C.Api, owned: List<&2, C.Api>, o: Opts) -> IO(Unit): match c: case Done{cfg}: IO.bind(Chan(Socket), Unit, Kube.pool(), p => Kube.start(~rec, K.Config.with_pool(cfg, p), primary, owned, o)) case Fail{e}: IO.die(Unit, 1, "bend-kube: no config: " ++ e) Uses (18): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Chan https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.die https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Socket 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=Unit https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/config.bend&name=Config https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/config.bend&name=Config.with_pool 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/json.bend&name=Json https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/kube.bend&name=Kube.pool https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/kube.bend&name=Kube.start https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/kube.bend&name=Opts https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/queue.bend&name=Action