Mutli-Character Filter

Description

Filter which provides access to its controlled sequence or sequences several characters at a time. The difference between a Filter which is Mutli-Character and one which is not is reflected in the specifications of the various Filter refinements. See, e.g., InputFilter and OutputFilter.

Refinement of

Filter.

Associated Types

Same as Filter, with the following additional requirements:

CategoryA type convertible to filter_tag and to multichar_tag

Valid Expressions / Semantics

Same as Filter.

Models