def write.start.total

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

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

373def write.start.total(
374  file: File,
375  words: Array<U32>,
376  fuel_length: U32,
377  remaining_seed: U32,
378  total_copies: U32 & U32 & U32
379) -> IO(File & Result<&1, &1, U32 & String, Unit>):
380  match total_copies:
381    case (total, (bytes_length, _)):
382      write.loop(Nat.add(Nat.mul(4n, U32.to_nat(fuel_length)), 2n),
383        WriteNeed{file, Protocol.u32.duplicate.triple(remaining_seed), total,
384          Protocol.u32.duplicate.triple(0), Bytes.Bytes{bytes_length, words}})