next up previous contents index
Next: Up: Input/Output Previous: write!   Contents   Index


WriterManipulator


Usage

import from WriterManipulator


Description

WriterManipulator provides manipulators for text or binary writers.


Exports

OutputType
$<<$: (BinaryWriter, %) $\to$ BinaryWriter manipulate a binary writer
endnl: % send a newline and flush the stream
flush: % flush the stream



Subsections

Manuel Bronstein 2004-06-28