Dotty Documentation

0.3.0-bin-SNAPSHOT

object Filter

[-] Constructors

[-] Members

[+] val empty : Filter
[+] def apply ( id: String ) ( f: PartialFunction [ TermInfo, TermAction ] ) : Filter
[+] def merge ( pfs: [ Filter ] ) : Filter

Merges multiple [[Filter]]s into one.

[+] def wrap ( id: String ) ( f: TermInfo => Option [ TermAction ] ) : Filter