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

LambdaParam

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

The parameter of a type lambda

trait Product
trait Equals
trait Showable
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

def toText(printer: Printer): Text

Inherited methods

def fallbackToText(printer: Printer): Text

A fallback text representation, if the pattern matching in Printers does not have a case for this showable element

A fallback text representation, if the pattern matching in Printers does not have a case for this showable element

Inherited from:
Showable
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
def show(using Context): String

The string representation of this showable element.

The string representation of this showable element.

Inherited from:
Showable
def showIndented(margin: Int)(using Context): String

The string representation with each line after the first one indented by the given given margin (in spaces).

The string representation with each line after the first one indented by the given given margin (in spaces).

Inherited from:
Showable
def showSummary(depth: Int)(using Context): String

The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.

The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.

Inherited from:
Showable