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:

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
File << Manipulator -- see printing to a file -- print to a file
Nothing << Manipulator -- see printing to a file -- print to a file

Protected 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.

The source of this document is in Macaulay2Doc/ov_system.m2:1456:0.