def Leader.decide

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

import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J
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/lease.bend as E

61def Leader.decide(r: Result<&2, &2, Cl.KErr, Maybe<&2, J.Json>>, +o: LOpts, +obs: E.Obs,
62  +w: T.Wall) -> Result<&2, &2, Cl.KErr, E.Decision>:
63  match r o:
64    case Done{cur} LOpts{ns, n, id, d, dl, rt}:
65      Done{E.Lease.decide(cur, ns, n, id, obs, T.Wall.ms(w), d, T.Wall.micro(w))}
66    case Fail{e} _:
67      Fail{e}