The interchange language scanner symbol type.

The interchange language scanner position type.

Encapsulation of a sequence comprising a group of kind 'k.

The form module for interchange language scanners.

The interchange language scanner module.

The scanner compiler uses primitive n to obtain a scanner for the primitive type named by n.

The scanner compiler uses control s c to compose a scanner representing the application of control c to the value recognized by the scanner s.

The scanner compiler uses start c q to compose a scanner that recognizes the start of a sequence of kind c with length limited by q and produces an abstract frame value annotated with the location of the start in the input stream.

The scanner compiler uses visit c w f v to compose a scanner that visits with f every element in a sequence of kind c in the context w. The first element is visited with the initializer v, and each following element is visited with the value returned by the preceding scanner.

The scanner compiler uses finish w to compose a scanner that recognizes the end of the sequence that started upon producing w.

The scanner compiler uses pair c k v to compose a scanner that recognizes a pair of kind c comprising a first item recognized by k and a second item recognized by v.

The scanner compiler uses memo to obtain an annotated scanner mark at the beginning of the next element in a sequence, advancing the cursor to one position past the end of the element.