TermMethods

Extension methods of Term

Extensions

Extensions

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

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

def appliedTo(arg: Term, args: Term*): Term

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

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

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 (): tree()

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

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

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

def etaExpand(owner: Symbol): Term

Converts a partally applied term into a lambda expression

def select(sym: Symbol): Select

A select node that selects the given symbol.

TypeRepr of this term

Replace Ident nodes references to the underlying tree that defined them

Replace Inlined nodes and InlineProxy references to underlying arguments