def snapshot.get.measured

mylsm-lsm-store@0.6.0.1 · src/coordinator/Operation.bend:205

import mylsm-lsm-store@0.6.0.1/src/coordinator/Operation.bend as Operation
import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

205def snapshot.get.measured(measured: Bytes.Bytes & U32) -> Decision:
206  match measured:
207    case (payload, length):
208      snapshot.get.length.checked(Bytes.get.u32be(payload, 0),
209        Protocol.u32.duplicate.triple(length))

Uses (8)

Used by (1)