def file.file

bend-kit-stream@0.3.1.0 · stream.bend:158

import Base

158# Return both handles on every outcome; never close or retry a failed chunk.
159def file.file(source: File, destination: File, +chunk: U32, cap: U32) ->
160  IO(File & File & Outcome):
161  transfer.start(~File, ~File, ~file.read, ~file.write,
162    chunk.valid(chunk), source, destination, False{}, chunk, cap, 0)