LambdaParam

dotty.tools.dotc.core.Types.LambdaParam
case class LambdaParam(tl: TypeLambda, n: Int) extends ParamInfo, Showable

The parameter of a type lambda

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Showable
trait ParamInfo
class Object
trait Matchable
class Any
Show all

Members list

Type members

Types

Value members

Concrete methods

The declared variance of this parameter.

The declared variance of this parameter.

Attributes

Set the declared variance of this parameter.

Set the declared variance of this parameter.

Attributes

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.

Attributes

def paramInfo(using Context): tl.PInfo

The info of the type parameter

The info of the type parameter

Attributes

def paramInfoAsSeenFrom(pre: Type)(using Context): tl.PInfo

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.

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.

Attributes

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.

Attributes

def paramName(using Context): tl.ThisName

The name of the type parameter

The name of the type parameter

Attributes

def paramRef(using Context): Type

A type that refers to the parameter

A type that refers to the parameter

Attributes

The declared or structural variance of this parameter.

The declared or structural variance of this parameter.

Attributes

Low level getter, only called from Variances.setStructuralVariances

Low level getter, only called from Variances.setStructuralVariances

Attributes

Low level setter, only called from Variances.setStructuralVariances

Low level setter, only called from Variances.setStructuralVariances

Attributes

def toText(printer: Printer): Text

The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.

The text representation of this showable element. This normally dispatches to a pattern matching method in Printers.

Attributes

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

Attributes

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.

Attributes

Inherited from:
ParamInfo

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product
def show(using Context): String

The string representation of this showable element.

The string representation of this showable element.

Attributes

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).

Attributes

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.

Attributes

Inherited from:
Showable