Dotty Documentation

0.5.0-bin-SNAPSHOT

object Filter
extends Object

Convenience constructors to create [[Filter]] instances in a bunch of different ways

[-] Constructors

[-] Members

[+] val empty : Filter
[+] def action ( id: String ) ( prefixes: Seq [ String ] , filter: TermInfo => Boolean ) ( action: TermState => TermAction ) : Filter
[+] def merge ( pfs: [ Filter ] ) : Filter

Merges multiple [[Filter]]s into one.

[+] def partial ( id: String ) ( f: PartialFunction [ TermInfo, TermAction ] ) : Filter
[+] def simple ( prefixes: [ String ] ) ( f: (Vector [ Char ], Int, TermInfo) => ( Vector [ Char ], Int ) ) : Filter

Shorthand to construct a filter in the common case where you're switching on the prefix of the input stream and want to run some transformation on the buffer/cursor

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