case class LambdaParam
extends ParamInfo

The parameter of a type lambda

Constructors

LambdaParam ( tl: TypeLambda , n: Int )

Members

type ThisName = TypeName
val n : Int
val tl : TypeLambda
def _1 : T1
def _2 : T2
def copy ( tl: TypeLambda , n: Int ) : LambdaParam
def copy$default$1 : TypeLambda
def copy$default$2 : Int
def isTypeParam ( implicit ctx: Context ) : Boolean

Is this the info of a type parameter? Will return false for symbols that are not type parameters.

Is this the info of a type parameter? Will return false for symbols that are not type parameters.

def paramInfo ( implicit ctx: Context ) : Type

The info of the type parameter

The info of the type parameter

[+] def paramInfoAsSeenFrom ( pre: Type ) ( implicit ctx: Context ) : Type

The info of the type parameter as seen from a prefix type. For type parameter symbols, this is the memberInfo as seen from prefix. For type lambda param...

The info of the type parameter as seen from a prefix type. For type parameter symbols, this is the memberInfo as seen from prefix. For type lambda parameters, it's the same as paramInfos as asSeenFrom has already been applied to the whole type lambda.

def paramInfoOrCompleter ( implicit ctx: Context ) : Type

The parameter bounds, or the completer if the type parameter is an as-yet uncompleted symbol.

The parameter bounds, or the completer if the type parameter is an as-yet uncompleted symbol.

def paramName ( implicit ctx: Context ) : ThisName

The name of the type parameter

The name of the type parameter

def paramRef ( implicit ctx: Context ) : Type

A type that refers to the parameter

A type that refers to the parameter

def paramVariance ( implicit ctx: Context ) : Int

The variance of the type parameter

The variance of the type parameter

def toArg : Type