def write.advance
mylsm-lsm-store@0.6.0.1 · src/coordinator/Io.bend:269
import mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend as Io
import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol
269def write.advance(
270 zero: Bool,
271 file: File,
272 total: U32,
273 offset: U32,
274 remaining: U32,
275 sent_offset: U32,
276 sent_remaining: U32,
277 words: Array<U32>
278) -> WriteState:
279 match zero:
280 case True{}: WriteFailed{file}
281 case False{}:
282 write.advance.total(Protocol.u32.duplicate.triple(total), file,
283 (offset + sent_offset : U32), (remaining - sent_remaining : U32),
284 words)