next up previous contents index
Next: WriterManipulator Up: TextWriter Previous: textWriter   Contents   Index


write!


Usage

write!(c, s)


Signature

write!: (Character, %) $\to$ ()


Parameter Type Description
c Character character to write
s % a stream


Returns

Writes the character $c$ to the stream $s$ and returns $c$.



Manuel Bronstein 2004-06-28