def write.advance.total

mylsm-lsm-store@0.6.0.1 · src/coordinator/Io.bend:256

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

256def write.advance.total(
257  copies: U32 & U32 & U32,
258  file: File,
259  offset: U32,
260  remaining: U32,
261  words: Array<U32>
262) -> WriteState:
263  match copies:
264    case (total_state, (total_bytes, _)):
265      WriteNeed{file, Protocol.u32.duplicate.triple(remaining), total_state,
266        Protocol.u32.duplicate.triple(offset),
267        Bytes.Bytes{total_bytes, words}}