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
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
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.