The standard library pio (pure_io) package implements “pure” (side-effect free) input. (No attempt is made to implement pure output.)
The puio package implements the Pure_Io API.
The pio 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?