def append.write

bend-kit-journal@0.3.1.0 · journal.bend:363

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

363def append.write(file: File, +max: U32, +end: U32, f: Bytes.Bytes) -> IO(Journal & Result<&1, &1, U32 & String, Unit>):
364  Bytes.Bytes{+len, words} = f
365  do IO<Journal & Result<&1, &1, U32 & String, Unit>>:
366    r : File & Result<&1, &1, U32 & String, Unit> <- append.words(file, len, words)
367    return append.back(max, end, len, r)