charsio.pl -- I/O on Lists of Character Codes
This module emulates the Quintus/SICStus library charsio.pl for reading and writing from/to lists of character codes. Most of these predicates are straight calls into similar SWI-Prolog primitives. Some can even be replaced by ISO standard predicates.
- format_to_chars(+Format, +Args, -Codes) is det
- Use format/2 to write to a list of character codes.
- format_to_chars(+Format, +Args, -Codes, ?Tail) is det
- Use format/2 to write to a difference list of character codes.
- write_to_chars(+Term, -Codes)
- Write a term to a code list. True when Codes is a list of character codes written by write/1 on Term.
- write_to_chars(+Term, -Codes, ?Tail)
- Write a term to a code list. Codes\Tail is a difference list of character codes produced by write/1 on Term.
- atom_to_chars(+Atom, -Codes) is det
- Convert Atom into a list of character codes.
- atom_to_chars(+Atom, -Codes, ?Tail) is det
- Convert Atom into a difference list of character codes.
- number_to_chars(+Number, -Codes) is det
- Convert Atom into a list of character codes.
- number_to_chars(+Number, -Codes, ?Tail) is det
- Convert Number into a difference list of character codes.
- read_from_chars(+Codes, -Term) is det
- Read Codes into Term.
- read_term_from_chars(+Codes, -Term, +Options) is det
- Read Codes into Term. Options are processed by read_term/3.
- open_chars_stream(+Codes, -Stream) is det
- Open Codes as an input stream.
- with_output_to_chars(:Goal, -Codes) is det
- Run Goal as with once/1. Output written to
current_output
is collected in Codes. - with_output_to_chars(:Goal, -Codes, ?Tail) is det
- Run Goal as with once/1. Output written to
current_output
is collected in Codes\Tail. - with_output_to_chars(:Goal, -Stream, -Codes, ?Tail) is det
- Same as with_output_to_chars/3 using an explicit stream. The difference list Codes\Tail contains the character codes that Goal has written to Stream.