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
- Known subtypes
Members list
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
The info of the type parameter
The info of the type parameter
Attributes
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
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
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.