next up previous contents index
Next: Up: Input/Output Previous: FileExceptionType   Contents   Index


InputType


Usage

InputType: Category


Description

InputType is the category of types whose objects can be read in in text format.


Exports

$<<$: TextReader $\to$ % read using text encoding


Subsections
Manuel Bronstein 2004-06-28