Scala 3/scala.quoted/Quotes/reflectModule/TermMethods

TermMethods

trait TermMethods

Extension methods of Term

Source:
Quotes.scala
class Object
trait Matchable
class Any

Extensions

Extensions

extension (self: Term)
def appliedTo(arg: Term): Term

A unary apply node with given argument: tree(arg)

A unary apply node with given argument: tree(arg)

Source:
Quotes.scala
def appliedTo(arg: Term, args: Term*): Term

An apply node with given arguments: tree(arg, args0, ..., argsN)

An apply node with given arguments: tree(arg, args0, ..., argsN)

Source:
Quotes.scala
def appliedToArgs(args: List[Term]): Apply

An apply node with given argument list tree(args(0), ..., args(args.length - 1))

An apply node with given argument list tree(args(0), ..., args(args.length - 1))

Source:
Quotes.scala
def appliedToArgss(argss: List[List[Term]]): Term

The current tree applied to given argument lists: tree (argss(0)) ... (argss(argss.length -1))

The current tree applied to given argument lists: tree (argss(0)) ... (argss(argss.length -1))

Source:
Quotes.scala
def appliedToNone: Apply

The current tree applied to (): tree()

The current tree applied to (): tree()

Source:
Quotes.scala
def appliedToType(targ: TypeRepr): Term

The current tree applied to given type argument: tree[targ]

The current tree applied to given type argument: tree[targ]

Source:
Quotes.scala
def appliedToTypeTrees(targs: List[TypeTree]): Term

The current tree applied to given type argument list: tree[targs(0), ..., targs(targs.length - 1)]

The current tree applied to given type argument list: tree[targs(0), ..., targs(targs.length - 1)]

Source:
Quotes.scala
def appliedToTypes(targs: List[TypeRepr]): Term

The current tree applied to given type arguments: tree[targ0, ..., targN]

The current tree applied to given type arguments: tree[targ0, ..., targN]

Source:
Quotes.scala
def etaExpand(owner: Symbol): Term

Converts a partially applied term into a lambda expression

Converts a partially applied term into a lambda expression

Source:
Quotes.scala
def select(sym: Symbol): Select

A select node that selects the given symbol.

A select node that selects the given symbol.

Source:
Quotes.scala
def tpe: TypeRepr

TypeRepr of this term

TypeRepr of this term

Source:
Quotes.scala
def underlying: Term

Replace Ident nodes references to the underlying tree that defined them. The resulting tree is useful for inspection of the definition of some bindings.

Replace Ident nodes references to the underlying tree that defined them. The resulting tree is useful for inspection of the definition of some bindings.

Warning: This tree may contain references that are out of scope and should not be used in the generated code. This method should only used to port Scala 2 that used to access their outer scope unsoundly.

Source:
Quotes.scala
def underlyingArgument: Term

Replace Inlined nodes and InlineProxy references to underlying arguments. The resulting tree is useful for inspection of the value or content of a non-inline argument.

Replace Inlined nodes and InlineProxy references to underlying arguments. The resulting tree is useful for inspection of the value or content of a non-inline argument.

Warning: This tree may contain references that are out of scope and should not be used in the generated code. This method should only used to port Scala 2 that used to access their outer scope unsoundly.

Source:
Quotes.scala