Manipulator -- the class of all file manipulators

Description

A file manipulator is a type of list that, when put out to a file with << causes a chosen function to be applied to the file. Alternatively, a manipulator can be used the way a function is used.

i1 : f = new Manipulator from identity

o1 = f

o1 : Manipulator

i2 : stdio << f

o2 = stdio

o2 : File

i3 : f stdio

o3 = stdio

o3 : File

Functions and methods returning a manipulator :

new Manipulator from Function

Methods that use a manipulator :

File << Manipulator -- see File << Thing -- print to a file
Nothing << Manipulator -- see File << Thing -- print to a file
Manipulator Database
Manipulator File
Manipulator Nothing
methods(Manipulator) -- see methods -- list methods
Manipulator NetFile -- see NetFile -- the class of all net files
NetFile << Manipulator -- see NetFile -- the class of all net files

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

For the programmer

The object Manipulator is a type, with ancestor classes BasicList < Thing.