CheckNonCyclicMap
A type map which checks that the only cycles in a type are F-bounds and that protects all F-bounded references by LazyRefs.
Attributes
- Graph
-
- Supertypes
Members list
Value members
Concrete methods
Check info tp
for cycles. Throw CyclicReference for illegal cycles, break direct cycle with a LazyRef for legal, F-bounded cycles.
Check info tp
for cycles. Throw CyclicReference for illegal cycles, break direct cycle with a LazyRef for legal, F-bounded cycles.
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
Concrete fields
The last type top-level type checked when a CyclicReference occurs.
The last type top-level type checked when a CyclicReference occurs.
Attributes
A diagnostic output string that indicates the position of the last part of a type bounds checked by checkInfo. Possible choices: alias, lower bound, upper bound.
A diagnostic output string that indicates the position of the last part of a type bounds checked by checkInfo. Possible choices: alias, lower bound, upper bound.