TextWriter

Usage

import from TextWriter

Description

TextWriter provides various output streams.

Exports

flush!:	% $\to$ %	flush a stream
stderr:	%	the standard error stream
stdout:	%	the standard output stream
textWriter:	(Character $\to$ ()) $\to$ %	create a stream
textWriter:	(Character $\to$ (), () $\to$ ()) $\to$ %	create a stream
write!:	(Character, %) $\to$ ()	write to a stream