scala3-compiler-bootstrapped/dotty.tools.dotc.core/Types/LambdaParam

LambdaParam

case class LambdaParam(tl: TypeLambda, n: Int) extends ParamInfo

The parameter of a type lambda

trait Product
trait Equals
trait ParamInfo
class Object
trait Matchable
class Any

Type members

Types

Value members

Concrete methods

def declaredVariance: Variance

The declared variance of this parameter.

The declared variance of this parameter.

def declaredVariance_=(v: Variance): Unit

Set the declared variance of this parameter.

Set the declared variance of this parameter.

def paramInfo(using Context): PInfo
def paramRef(using Context): Type
def paramVariance(using Context): Variance

The declared or structural variance of this parameter.

The declared or structural variance of this parameter.

def storedVariance: Variance

Low level getter, only called from Variances.setStructuralVariances

Low level getter, only called from Variances.setStructuralVariances

def storedVariance_=(v: Variance): Unit

Low level setter, only called from Variances.setStructuralVariances

Low level setter, only called from Variances.setStructuralVariances

Inherited methods

final def paramVarianceSign(using Context): Int

The variance of the type parameter, as a number -1, 0, +1. Bivariant is mapped to 1, i.e. it is treated like Covariant.

The variance of the type parameter, as a number -1, 0, +1. Bivariant is mapped to 1, i.e. it is treated like Covariant.

Inherited from
ParamInfo
def productIterator: Iterator[Any]
Inherited from
Product