The file as a Reader. Reading advances the file's position. The reader points at the Io_File, which must outlive it.
reader_of :: (file: *Io_File) -> ReaderThe file as a Reader. Reading advances the file's position. The reader points at the Io_File, which must outlive it.
Parameters
- file: *Io_File
Returns
reader_of :: (stream: Tcp_Stream) -> ReaderThe TCP stream as a Reader; it can wait_readable. The reader carries the socket handle, so closing the reader closes the
stream.
Parameters
- stream: Tcp_Stream
Returns
reader_of :: (stream: *Pipe_Stream) -> ReaderOne end of a pipe from make_pipe as a Reader. The reader points at the pipe end, which must outlive it.
Parameters
- stream: *Pipe_Stream