def Wall.id

bend-kube-runtime@0.2.0.0 · src/time.bend:111

import bend-kube-runtime@0.2.0.0/src/time.bend as Time
import Base

111# A decimal stamp unique to the microsecond, for names.
112def Wall.id(w: Wall) -> String:
113  match w:
114    case Wall{d, +s, +us}:
115      U32.show(d) ++ Time.pad(s, 5n) ++ Time.pad(us, 6n)

Uses (5)

Used by (1)