The standard library Io_With api defines an interface for evaluating a computation in the context of a different input or output file than the current default.
The Io_With api is implemented by the io_with package.
The Io_With api source code is in src/lib/src/io-with.api.
The above information is manually maintained and may contain errors.
api {
Input_Stream;
Output_Stream;
with_input_file : (String , (X -> Y)) -> X -> Y;
with_instream : (Input_Stream , (X -> Y)) -> X -> Y;
with_output_file : (String , (X -> Y)) -> X -> Y;
with_outstream : (Output_Stream , (X -> Y)) -> X -> Y;};