Manipulator -- the class of all file manipulators

Manipulator -- the class of all file manipulators

The type Manipulator is a member of the class Type. Each object of class Manipulator is called a manipulator. Each manipulator is also a member of class BasicList.

More general types (whose methods may also apply) :

BasicList -- the class of all basic lists

A file manipulator is a type of list which, when put out to a file with << causes a chosen function to be applied to the file.

Functions and methods returning a a manipulator :

new Manipulator from Function

Methods for using a manipulator :

Nothing << Manipulator

toExternalString Manipulator

toString Manipulator

Fixed objects of class Manipulator :

close -- close a file

closeIn -- close an input file

closeOut -- close an output file

endl -- end an output line

flush -- flush output to file