ParamInfo

dotty.tools.dotc.core.ParamInfo
See theParamInfo companion object
trait ParamInfo

A common super trait of Symbol and LambdaParam. Used to capture the attributes of type parameters which can be implemented as either.

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Symbol
object NoSymbol.type

Members list

Concise view

Type members

Types

type ThisName <: Name

Value members

Abstract methods

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): Type

The info of the type parameter

The info of the type parameter

Attributes

def paramInfoAsSeenFrom(prefix: Type)(using 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 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

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 variance of the type parameter

The variance of the type parameter

Attributes

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

Attributes