std/io
std/io
Section titled “std/io”std/io — convenience wrappers around the built-in Reader / Writer primitives. Currently just read_all_stdin() — pulling the whole of stdin into a single string. Companion to a future read_file(path) for the $ tool < input.txt / $ cat in | tool CLI shape. Migrated from the auto-injected prelude per docs/PRELUDE-TO-MODULES.md.
read_all_stdin
Section titled “read_all_stdin”pub function read_all_stdin(): stringread_all_stdin() — read until EOF and return the result
as a single string. Loops Reader.read_chunk(4096) until
None.