SubstParamsMap
Similar normal substParams, but this is an approximating type map that maps parameters in contravariant capture sets to the empty set.
Attributes
- Graph
-
- Supertypes
-
trait IdempotentCaptRefMapclass ApproximatingTypeMapclass TypeMapclass VariantTraversalclass Objecttrait Matchableclass AnyShow all
Members list
Value members
Inherited methods
Attributes
- Inherited from:
- VariantTraversal
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Derived selection.
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- ApproximatingTypeMap
Expand parameter reference corresponding to prefix pre
; If the expansion is a wildcard parameter reference, convert its underlying bounds to a range, otherwise return the expansion.
Expand parameter reference corresponding to prefix pre
; If the expansion is a wildcard parameter reference, convert its underlying bounds to a range, otherwise return the expansion.
Attributes
- Inherited from:
- ApproximatingTypeMap
Whether it is currently expanding bounds
Whether it is currently expanding bounds
It is used to avoid following LazyRef in F-Bounds
Attributes
- Inherited from:
- ApproximatingTypeMap
Can the prefix of this static reference be omitted if the reference itself can be omitted? Overridden in TypeOps#avoid.
Can the prefix of this static reference be omitted if the reference itself can be omitted? Overridden in TypeOps#avoid.
Attributes
- Inherited from:
- VariantTraversal
Attributes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Can be overridden. By default, only the prefix is mapped.
Map this function over given type
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- ApproximatingTypeMap
Attributes
- Inherited from:
- VariantTraversal
Attributes
- Inherited from:
- VariantTraversal
Try to widen a named type to its info relative to given prefix pre
, where possible. The possible cases are listed inline in the code.
Try to widen a named type to its info relative to given prefix pre
, where possible. The possible cases are listed inline in the code.
Attributes
- Inherited from:
- ApproximatingTypeMap
The type parameters of the constructor of this applied type. Overridden in OrderingConstraint's ConstraintAwareTraversal to take account of instantiations in the constraint that are not yet propagated to the instance types of type variables.
The type parameters of the constructor of this applied type. Overridden in OrderingConstraint's ConstraintAwareTraversal to take account of instantiations in the constraint that are not yet propagated to the instance types of type variables.
Attributes
- Inherited from:
- VariantTraversal
Attributes
- Inherited from:
- ApproximatingTypeMap
Use an alterate type tp
that replaces a range. This can happen if the prefix of a Select is a range and the selected symbol is an alias type or a value with a singleton type. In both cases we can forget the prefix and use the symbol's type.
Use an alterate type tp
that replaces a range. This can happen if the prefix of a Select is a range and the selected symbol is an alias type or a value with a singleton type. In both cases we can forget the prefix and use the symbol's type.
Attributes
- Inherited from:
- ApproximatingTypeMap