AsSeenFromMap
The TypeMap handling the asSeenFrom
Attributes
- Graph
- Supertypes
- trait IdempotentCaptRefMapclass ApproximatingTypeMapclass TypeMapclass VariantTraversalclass Objecttrait Matchableclass Any
Members list
Value members
Concrete methods
Attributes
- Definition Classes
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
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
- Definition Classes
- Inherited from:
- ApproximatingTypeMap
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:
- 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
Attributes
- Inherited from:
- ApproximatingTypeMap
Concrete fields
Set to true when the result of apply
was approximated to avoid an unstable prefix.
Set to true when the result of apply
was approximated to avoid an unstable prefix.