TypeConstructorParam

tastyquery.Types.TypeConstructorParam

A type parameter of a type constructor.

Type parameters of polymorphic class types are Symbols.ClassTypeParamSymbols. For other type constructors, they are instances of an unspecified subclass.

See Type.typeParams.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Abstract methods

The declared bounds of the type parameter.

The declared bounds of the type parameter.

Attributes

The declared variance of the type parameter, as found in the source.

The declared variance of the type parameter, as found in the source.

Attributes

def name: TypeName

The name of the type parameter.

The name of the type parameter.

Attributes

def variance(using Context): Variance

The actual variance of the type parameter, which may be computed from its body.

The actual variance of the type parameter, which may be computed from its body.

Attributes