def append.chunked.rest

mylsm-lsm-store@0.6.0.1 · src/ByteWalIo.bend:557

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

557# Writes the first bounded WAL chunk and continues through the split point.
558def append.chunked.rest(
559  file: File,
560  first: Bytes.Bytes,
561  remaining: Bytes.Bytes,
562  +path: String
563) -> IO(Result<&1, &1, U32 & String, Unit>):
564  do IO<Result<&1, &1, U32 & String, Unit>>:
565    written : File & Result<&1, &1, U32 & String, Unit> <-
566      Fs.write_bytes(file, first)
567    append.first.written(written, remaining, path)