Multi-Character Filter


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

Refinement of


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.