ParserReader

Next: parser Up: Shells Previous: parse! Contents Index

ParserReader

$\begin{usage} ParserReader: Category \end{usage}$

$\begin{descr} ParserReader~is the category for parser objects that parse text readers. \end{descr}$

Exports

parser: TextReader $\to$ % Create a parser

Subsections

parser

Manuel Bronstein 2000-12-13