Reads until buffer is full. .END_OF_FILE if the peer closed first, with the bytes read.
read_full :: (stream: Tcp_Stream, buffer: [] u8) -> (s64, Io_Error)Reads until buffer is full. .END_OF_FILE if the peer closed first, with the bytes read.
Parameters
- stream: Tcp_Stream
- buffer: [] u8
Returns
- s64
read_full :: (stream: *Pipe_Stream, buffer: [] u8) -> (s64, Io_Error)Reads until buffer is full; .END_OF_FILE if the other end closed first.
Parameters
- stream: *Pipe_Stream
- buffer: [] u8
Returns
- s64
read_full :: (file: *Io_File, buffer: [] u8) -> (s64, Io_Error)Reads until buffer is full. .END_OF_FILE if the file ended first, with the bytes read.
Parameters
- file: *Io_File
- buffer: [] u8
Returns
- s64
read_full :: (reader: Reader, buffer: [] u8) -> (s64, Io_Error)Reads until buffer is full. .END_OF_FILE if the source ended first, with the bytes read.
Parameters
- reader: Reader
- buffer: [] u8
Returns
- s64