trait TermLambda
extends Type with LambdaType

Constructors

Members

type PInfo = Type
type This = Nothing <: TermLambda
type ThisName = TermName
private var myDependencyStatus : DependencyStatus
private var myParamDependencyStatus : DependencyStatus
private def depStatus ( initial: DependencyStatus , tp: Type ) ( implicit ctx: Context ) : DependencyStatus
[+] private def dependencyStatus ( implicit ctx: Context ) : DependencyStatus

The dependency status of this method. Some examples:

class C extends { type S; type T = String } def f(x: C)(y: Boolean) // dependencyStatus = NoDeps d...

The dependency status of this method. Some examples:

class C extends { type S; type T = String } def f(x: C)(y: Boolean) // dependencyStatus = NoDeps def f(x: C)(y: x.S) // dependencyStatus = TrueDeps def f(x: C)(y: x.T) // dependencyStatus = FalseDeps, i.e. // dependency can be eliminated by dealiasing.

def isDependent ( implicit ctx: Context ) : Boolean
def isParamDependent ( implicit ctx: Context ) : Boolean

Does one of the parameter types contain references to earlier parameters of this method type which cannot be eliminated by de-aliasing?

Does one of the parameter types contain references to earlier parameters of this method type which cannot be eliminated by de-aliasing?

private def myDependencyStatus_= ( x$1: DependencyStatus ) : Unit
private def myParamDependencyStatus_= ( x$1: DependencyStatus ) : Unit
def newParamRef ( n: Int ) : ParamRef
private def paramDependencyStatus ( implicit ctx: Context ) : DependencyStatus

The parameter dependency status of this method. Analogous to dependencyStatus, but tracking dependencies in same parameter list.

The parameter dependency status of this method. Analogous to dependencyStatus, but tracking dependencies in same parameter list.

override def resultType ( implicit ctx: Context ) : Type

The resultType of a LambdaType, or ExprType, the type itself for others

The resultType of a LambdaType, or ExprType, the type itself for others