Stream.socket.file: def of bend-kit-stream@0.3.1.0
Import: import bend-kit-stream@0.3.1.0/stream.bend as Stream
Lines 169-173 of bend-kit-stream@0.3.1.0/stream.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-stream@0.3.1.0/stream.bend&start_line=169&end_line=173

import Base

# ms is the unchanged per-read Wire deadline, including the one-byte cap probe.
def socket.file(source: Socket, destination: File, tls: Bool, +chunk: U32, cap: U32, ms: U32) ->
  IO(Socket & File & Outcome):
  transfer.start(~Socket, ~File, ~socket.read, ~file.write,
    chunk.valid(chunk), source, destination, tls, chunk, cap, ms)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Socket
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-stream@0.3.1.0/stream.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bend-kit-stream@0.3.1.0/stream.bend&name=chunk.valid
  https://jend.leeeet.dev/definition.txt?path=bend-kit-stream@0.3.1.0/stream.bend&name=file.write
  https://jend.leeeet.dev/definition.txt?path=bend-kit-stream@0.3.1.0/stream.bend&name=socket.read
  https://jend.leeeet.dev/definition.txt?path=bend-kit-stream@0.3.1.0/stream.bend&name=transfer.start