Documentation

line : Str -> Task {} *

Write the given string to standard error, followed by a newline.

To write to stderr without the newline, see Stderr.write.

write : Str -> Task {} *

Write the given string to standard error.

Most terminals will not actually display strings that are written to them until they receive a newline, so this may appear to do nothing until you write a newline!

To write to stderr with a newline at the end, see Stderr.line.

flush : Task {} *

Flush the standard error. This will cause any buffered output to be written out. This is typically to the terminal but may be captured and written to a file.

This may fail if the buffered output could not be written due to I/O errors or EOF being reached.