Dotty Documentation


abstract class DelegateFilter
extends Filter

A filter as an abstract class, letting you provide a [[filter]] instead of an op, automatically providing a good .toString for debugging, and providing a reasonable "place" inside the inheriting class/object to put state or helpers or other logic associated with the filter.

[-] Constructors

DelegateFilter ( )

[-] Members

[+] val op : TermInfo => Option [ TermAction ]
[+] def filter : Filter