LambdaParam
The parameter of a type lambda
Value members
Concrete 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.
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.
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.
The declared or structural variance of this parameter.
The declared or structural variance of this parameter.
Low level getter, only called from Variances.setStructuralVariances
Low level getter, only called from Variances.setStructuralVariances
Inherited methods
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
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
The string representation of this showable element.
The string representation of this showable element.
- Inherited from:
- Showable
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
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