Traverser

Type Members

type MatchResult[A] = Option[(T, A)]
abstract class Matcher[+A] extends (T) ⇒ MatchResult[A]

A Matcher is a function or 'combinator' which takes a T and return an Option of tuple of - a transformed T (or the same) - a result of type A s.t Exists Monoid[A] so that results can be combined during the traversal A transformation/traversal has succeeded if the result of the application on the Matcher is not a None

Abstract Value Members

abstract def traverse[A](tree: T, f: Matcher[A])(implicit arg0: Monoid[A]): MatchResult[A]

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from Traverser[T] to any2stringadd[Traverser[T]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (Traverser[T], B)

Implicit information
This member is added by an implicit conversion from Traverser[T] to ArrowAssoc[Traverser[T]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def Matcher[A](f: (T) ⇒ MatchResult[A]): Matcher[A]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def ensuring(cond: (Traverser[T]) ⇒ Boolean, msg: ⇒ Any): Traverser[T]

Implicit information
This member is added by an implicit conversion from Traverser[T] to Ensuring[Traverser[T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (Traverser[T]) ⇒ Boolean): Traverser[T]

Implicit information
This member is added by an implicit conversion from Traverser[T] to Ensuring[Traverser[T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): Traverser[T]

Implicit information
This member is added by an implicit conversion from Traverser[T] to Ensuring[Traverser[T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): Traverser[T]

Implicit information
This member is added by an implicit conversion from Traverser[T] to Ensuring[Traverser[T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from Traverser[T] to StringFormat[Traverser[T]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def parse[U](implicit convert: Convert[Traverser[T], meta.Input], dialect: Dialect, parse: meta.Parse[U]): U

Implicit information
This member is added by an implicit conversion from Traverser[T] to meta.XtensionInputLike[Traverser[T]] performed by method XtensionInputLike in scala.meta.syntactic.Api.
Definition Classes
XtensionInputLike
def show[Style[X] <: Show[X]](implicit style: Style[Traverser[T]]): String

Implicit information
This member is added by an implicit conversion from Traverser[T] to meta.XtensionShow[Traverser[T]] performed by method XtensionShow in scala.meta.ui.Api.
Definition Classes
XtensionShow
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def tokens(implicit convert: Convert[Traverser[T], meta.Input], dialect: Dialect): meta.Tokens

Implicit information
This member is added by an implicit conversion from Traverser[T] to meta.XtensionInputLike[Traverser[T]] performed by method XtensionInputLike in scala.meta.syntactic.Api.
Definition Classes
XtensionInputLike
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def →[B](y: B): (Traverser[T], B)

Implicit information
This member is added by an implicit conversion from Traverser[T] to ArrowAssoc[Traverser[T]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from Traverser[T] to any2stringadd[Traverser[T]]

Inherited by implicit conversion StringFormat from Traverser[T] to StringFormat[Traverser[T]]

Inherited by implicit conversion Ensuring from Traverser[T] to Ensuring[Traverser[T]]

Inherited by implicit conversion ArrowAssoc from Traverser[T] to ArrowAssoc[Traverser[T]]

Inherited by implicit conversion XtensionShow from Traverser[T] to meta.XtensionShow[Traverser[T]]

Inherited by implicit conversion XtensionInputLike from Traverser[T] to meta.XtensionInputLike[Traverser[T]]

Ungrouped

Related Doc: package tql

trait Traverser[T] extends AnyRef

Type Members

type MatchResult[A] = Option[(T, A)]

abstract class Matcher[+A] extends (T) ⇒ MatchResult[A]

Abstract Value Members

abstract def traverse[A](tree: T, f: Matcher[A])(implicit arg0: Monoid[A]): MatchResult[A]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (Traverser[T], B)

final def ==(arg0: Any): Boolean

def Matcher[A](f: (T) ⇒ MatchResult[A]): Matcher[A]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensuring(cond: (Traverser[T]) ⇒ Boolean, msg: ⇒ Any): Traverser[T]

def ensuring(cond: (Traverser[T]) ⇒ Boolean): Traverser[T]

def ensuring(cond: Boolean, msg: ⇒ Any): Traverser[T]

def ensuring(cond: Boolean): Traverser[T]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def parse[U](implicit convert: Convert[Traverser[T], meta.Input], dialect: Dialect, parse: meta.Parse[U]): U

def show[Style[X] <: Show[X]](implicit style: Style[Traverser[T]]): String

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def tokens(implicit convert: Convert[Traverser[T], meta.Input], dialect: Dialect): meta.Tokens

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def →[B](y: B): (Traverser[T], B)

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from Traverser[T] to any2stringadd[Traverser[T]]

Inherited by implicit conversion StringFormat from Traverser[T] to StringFormat[Traverser[T]]

Inherited by implicit conversion Ensuring from Traverser[T] to Ensuring[Traverser[T]]

Inherited by implicit conversion ArrowAssoc from Traverser[T] to ArrowAssoc[Traverser[T]]

Inherited by implicit conversion XtensionShow from Traverser[T] to meta.XtensionShow[Traverser[T]]

Inherited by implicit conversion XtensionInputLike from Traverser[T] to meta.XtensionInputLike[Traverser[T]]

Ungrouped