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
Manipulator NetFile, see NetFile -- the class of all net files
NetFile << Manipulator, see NetFile -- the class of all net files