Type:
writeStr: object x object x ... -> ()
Call syntax:
write(obj_1,
obj_2, ...)
Description:
writeStr converts the value of its arguments to
strings and writes these on the screen. The output arguments are
not separated by spaces or linebreaks. As opposed to write,
writeStr does not terminate its output with a
linebreak character; consequently the next output or prompt will
be appear directly after that of writeStr.
In string arguments, control characters \n, \", and \\ can be used to produce linebreak, ", and \ characters in the output.
Example:
> write(123, "abc"); write("456");
123abc
456
> writeStr(123, "abc"); writeStr("456");
123abc456
See also: write.