ammonite-terminal
API
Generated with
ammonite-terminal/ammonite.terminal/Filter

Filter

ammonite.terminal.Filter$
See theFilter companion trait
object Filter

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

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Filter.type

Members list

Concise view

Value members

Concrete methods

def action(prefixes: Strings, filter: TermInfo => Boolean)(action: TermState => TermAction)(implicit i: Enclosing, line: Line): Filter
def merge(pfs: Filter*)(implicit i: Enclosing): Filter

Merges multiple Filters into one.

Merges multiple Filters into one.

Attributes

def partial(f: PartialFunction[TermInfo, TermAction])(implicit i: Enclosing): Filter
def simple(prefixes: Strings)(f: (Vector[Char], Int, TermInfo) => (Vector[Char], Int))(implicit l: Line, enc: Enclosing): 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

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

Attributes

def wrap(f: TermInfo => Option[TermAction])(implicit i: Enclosing): Filter

Concrete fields

Generated with