O object

TermOps

extends Object with Serializable

Supertypes

Object, Serializable

Members

def 

appliedTo

( self: Term ) ( arg: Term ) ( implicit  ctx: Context ) : Term

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

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

def 

appliedTo

( self: Term ) ( arg: Term ,  args: [Term] ) ( implicit  ctx: Context ) : Term

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

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

def 

appliedToArgs

( self: Term ) ( args: List[Term] ) ( implicit  ctx: Context ) : 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))

def 

appliedToArgss

( self: Term ) ( argss: List[List[Term]] ) ( implicit  ctx: Context ) : 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))

def 

appliedToNone

( self: Term ) ( implicit  ctx: Context ) : Apply

The current tree applied to (): tree()

The current tree applied to (): tree()

def 

appliedToType

( self: Term ) ( targ: Type ) ( implicit  ctx: Context ) : Term

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

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

def 

appliedToTypeTrees

( self: Term ) ( targs: List[TypeTree] ) ( implicit  ctx: Context ) : 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)]

def 

appliedToTypes

( self: Term ) ( targs: List[Type] ) ( implicit  ctx: Context ) : Term

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

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

def 

etaExpand

( self: Term ) ( implicit  ctx: Context ) : Term

def 

seal

( self: Term ) ( implicit  ctx: Context ) : Expr[Any]

Convert Term to an quoted.Expr[Any]

Convert Term to an quoted.Expr[Any]

def 

select

( self: Term ) ( sym: Symbol ) ( implicit  ctx: Context ) : Select

A select node that selects the given symbol.

A select node that selects the given symbol.

def 

tpe

( self: Term ) ( implicit  ctx: Context ) : Type

def 

underlying

( self: Term ) ( implicit  ctx: Context ) : Term

def 

underlyingArgument

( self: Term ) ( implicit  ctx: Context ) : Term