ammonite-terminal
API
Generated with
ammonite-terminal/ammonite.terminal.filters/GUILikeFilters/SelectionFilter

SelectionFilter

ammonite.terminal.filters.GUILikeFilters$.SelectionFilter
See theSelectionFilter companion object
case class SelectionFilter(indent: Int) extends DelegateFilter

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Filter
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def doIndent(b: Vector[Char], c: Int, rest: LazyList[Int], slicer: Vector[Char] => Int): TermState
def setMark(c: Int): Unit

Inherited methods

def identifier: String

the .toString of this object, except by making it separate we force the implementer to provide something and stop them from accidentally leaving it as the meaningless default.

the .toString of this object, except by making it separate we force the implementer to provide something and stop them from accidentally leaving it as the meaningless default.

Attributes

Inherited from:
DelegateFilter
def op(ti: TermInfo): Option[TermAction]

Attributes

Inherited from:
DelegateFilter
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns:

a string representation of the object.

Definition Classes
Filter -> Any
Inherited from:
Filter

Concrete fields

var mark: Option[Int]

Implicits

Inherited implicits

implicit val enclosing: Enclosing

Attributes

Inherited from:
DelegateFilter
Generated with