TypeAccumulator
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
class CoveringSetAccumulatorclass ExistsAccumulatorclass ForeachAccumulatorclass NamedPartsAccumulatorclass TypeSizeAccumulatorclass TypeTraverserclass isGroundAccumulatorShow all
Members list
Value members
Concrete methods
A prefix is never contravariant. Even if say p.A
is used in a contravariant context, we cannot assume contravariance for p
because p
's lower bound might not have a binding for A
, since the lower bound could be Nothing
. By contrast, covariance does translate to the prefix, since we have that if p <: q
then p.A <: q.A
, and well-formedness requires that A
is a member of p
's upper bound. Overridden in OrderingConstraint's ConstraintAwareTraversal, where a more relaxed scheme is used.
A prefix is never contravariant. Even if say p.A
is used in a contravariant context, we cannot assume contravariance for p
because p
's lower bound might not have a binding for A
, since the lower bound could be Nothing
. By contrast, covariance does translate to the prefix, since we have that if p <: q
then p.A <: q.A
, and well-formedness requires that A
is a member of p
's upper bound. Overridden in OrderingConstraint's ConstraintAwareTraversal, where a more relaxed scheme is used.
Attributes
Inherited methods
Attributes
- Inherited from:
- VariantTraversal
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:
- 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