The standard library pure_io package implements “pure” (side-effect free) input. (No attempt is made to implement pure output.)
The pure_io package implements the Pure_Io API.
The pure_io package exists as sub-packages of the binary_io and file packages generated by src/lib/std/src/io/binary-io-g.pkg and src/lib/std/src/io/file-g.pkg.
See also: Imperative_Io.
The above information is manually maintained and may contain errors.
Text_Pure_Io?