def Lease.new_spec

bend-kube-runtime@0.2.0.0 · src/lease.bend:49

import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J

49def Lease.new_spec(id: String, +dur: U32, acquire: String, renew: String, +trans: U32) -> J.Json:
50  J.Json.obj([J.KV{"holderIdentity", J.JStr{id}}, J.KV{"leaseDurationSeconds", J.Json.u32(dur)},
51    J.KV{"acquireTime", J.JStr{acquire}}, J.KV{"renewTime", J.JStr{renew}},
52    J.KV{"leaseTransitions", J.Json.u32(trans)}])