def Leader.release

bend-kube-runtime@0.2.0.0 · src/leader.bend:157

import bend-kube-runtime@0.2.0.0/src/leader.bend as Leader
import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J
import bend-kube-runtime@0.2.0.0/src/config.bend as K
import bend-kube-runtime@0.2.0.0/src/client.bend as Cl
import bend-kube-runtime@0.2.0.0/src/time.bend as T
import bend-kube-runtime@0.2.0.0/src/sys.bend as Y

157def Leader.release(+cfg: K.Config, +o: LOpts) -> IO(Unit):
158  IO.bind(U32 & (U32 & U32), Unit, Y.Sys.wall(),
159    w => IO.bind(Result<&2, &2, Cl.KErr, J.Json>, Unit,
160      Cl.Client.get(cfg, LOpts.api(o), LOpts.name(o)), r => Leader.release.got(r, cfg, o, T.Wall.of(w))))

Uses (16)

Used by (1)