textWriter

Usage

textWriter f
textWriter(f, g)

Signatures

textWriter:	(Character $\to$ ()) $\to$ %
textWriter:	(Character $\to$ (), () $\to$ ()) $\to$ %

Parameter	Type	Description
f	Character $\to$ ()	the single-character write function
g	() $\to$ ()	the flush function (optional)

Returns

Returns the output stream for which $f(c)$ writes the character $c$ and such that $g()$ flushes the stream. If g is not given, then flushing the resulting stream has no effect.