O object

Term

extends Object

Supertypes

Object

Members

def 

extension_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 

extension_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 

extension_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 

extension_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 

extension_appliedToNone

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

The current tree applied to (): tree()

The current tree applied to (): tree()

def 

extension_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 

extension_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 

extension_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 

extension_etaExpand

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

Converts a partally applied term into a lambda expression

Converts a partally applied term into a lambda expression

def 

extension_seal

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

Convert Term to an quoted.Expr[Any] if the term is a valid expression or throws

Convert Term to an quoted.Expr[Any] if the term is a valid expression or throws

def 

extension_sealOpt

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

Convert Term to an quoted.Expr[Any] if the term is a valid expression

Convert Term to an quoted.Expr[Any] if the term is a valid expression

def 

extension_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 

extension_tpe

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

Type of this term

Type of this term

def 

extension_underlying

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

Replace Ident nodes references to the underlying tree that defined them

Replace Ident nodes references to the underlying tree that defined them

def 

extension_underlyingArgument

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

Replace Inlined nodes and InlineProxy references to underlying arguments

Replace Inlined nodes and InlineProxy references to underlying arguments