HealType
Attributes
- Graph
-
- Supertypes
Members list
Value members
Concrete methods
If the type refers to a locally defined symbol (either directly, or in a pickled type), check that its staging level matches the current level.
If the type refers to a locally defined symbol (either directly, or in a pickled type), check that its staging level matches the current level.
- Static types and term are allowed at any level.
- If a type reference is used a higher level, then it is inconsistent. Will attempt to heal before failing.
- If a term reference is used a higher level, then it is inconsistent. It cannot be healed because the term will not exist in any future stage.
If T
is a reference to a type at the wrong level, try to heal it by replacing it with a type tag of type quoted.Type[T]
. The tag is recorded by an instance of QuoteTypeTags
directly if the splice is explicit or indirectly by tryHeal
.
Attributes
Inherited methods
Attributes
- Inherited from:
- VariantTraversal
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
Attributes
- Inherited from:
- TypeMap
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:
- 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:
- VariantTraversal
Attributes
- Inherited from:
- VariantTraversal
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