next up previous contents index
Next: Functions with Side Effects Up: List of Functions Previous: Functions on Any Type

Functions for Manipulating Strings

@v {a tex2html_wrap_inline10582 [char] :: (a in any)}
  Given any printable object v, @ converts it into its printable representation as a character string.

exp_string(val, digits_after_point) {(float, int) tex2html_wrap_inline10584 [char]}
  Prints a floating-point number in exponential notation. The second argument specifies how many digits should be printed after the decimal point (currently this cannot be larger than 8).

str || l {([char], int) tex2html_wrap_inline10586 [char]}
  Pads a string str into a string of length l with the string left justified. If l is negative, then the string is right justified.

linify(str) {[char] tex2html_wrap_inline10588 [[char]]}
  Breaks up a string into lines (a sequence of strings). Only a newline is considered a separator. All separators are removed.

wordify(str) {[char] tex2html_wrap_inline10590 [[char]]}
  Breaks up a string into words (a sequence of strings). Either a space, tab, or newline is considered a separator. All separators are removed.

lowercase(char) {char tex2html_wrap_inline10592 char}
  Converts a character string into lowercase characters.

uppercase(char) {char tex2html_wrap_inline10594 char}
  Converts a character string into uppercase characters.

string_eql(str1, str2) {([char], [char]) tex2html_wrap_inline10596 bool}
  Compares two strings for equality without regards to case.

parse_int(str) {[char] tex2html_wrap_inline10598 (int, bool)}
  Parses a character string into an integer. Returns the integer and a flag specifying whether the string was successfully parsed. The string must be in the format: [+-]?[0..9]*.

parse_float(str) {[char] tex2html_wrap_inline10600 (float, bool)}
  Parses a character string into an float. Returns the float and a flag specifying whether the string was successfully parsed. The string must be in the format:
[+-]?[0..9]*(.[0..9]*)?(e[+-]?[0..9]*)?.



Jonathan Hardwick
Tue Nov 28 13:57:00 EST 1995