scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/Types/VariantTraversal

VariantTraversal

dotty.tools.dotc.core.Types.VariantTraversal

abstract class VariantTraversal

Common base class of TypeMap and TypeAccumulator

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class TypeAccumulator[T]

class DeepTypeAccumulator[T]

class CoveringSetAccumulator

class ExistsAccumulator

class ForeachAccumulator

class NamedPartsAccumulator

class TypeSizeAccumulator

class TypeTraverser

class isGroundAccumulator

class TypeMap

trait IdentityCaptRefMap

class SimplifyMap

class SimplifyKeepUnchecked

class CleanupRetains

class Reducer

class StripTypeVarsMap

class ApproximatingTypeMap

class SubstParamsMap

class SubstApproxMap

class AsSeenFromMap

class AvoidWildcardsMap

class AvoidMap

class ConstraintHandling.this.LevelAvoidMap

trait BiTypeMap

class CapToFresh.this.Inverse

class CapToFresh

class SubstBindingMap[BT]

class SubstBindingsMap

class DeepTypeMap

class Subst1Map

class Subst2Map

class SubstMap

class SubstParamMap

class SubstParamsMap

class SubstRecThisMap

class SubstSymMap

class SubstThisMap

trait FollowAliasesMap

object IdentityTypeMap

class HealType

class CheckNonCyclicMap
Show all

Members list

Value members

Concrete methods

Can the prefix of this static reference be omitted if the reference itself can be omitted? Overridden in TypeOps#avoid.

Attributes

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

In this article

Generated with