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

TypeTraverser

abstract
class TypeTraverser(using x$1: Context) extends TypeAccumulator[Unit]
trait (Unit, Type) => Unit
class Object
trait Matchable
class Any

Value members

Abstract methods

def traverse(tp: Type): Unit

Concrete methods

def apply(x: Unit, tp: Type): Unit
protected
def traverseChildren(tp: Type): Unit

Inherited methods

protected
def applyToAnnot(x: Unit, annot: Annotation): Unit
Inherited from
TypeAccumulator
final protected
def applyToPrefix(x: Unit, tp: NamedType): Unit
Inherited from
TypeAccumulator
inline protected
def atVariance[T](v: Int)(op: => T): T
Inherited from
VariantTraversal
def curried: Unit => Type => Unit
Inherited from
Function2
final
def foldOver(x: Unit, ts: List[Type]): Unit
Inherited from
TypeAccumulator
def foldOver(x: Unit, tp: Type): Unit
Inherited from
TypeAccumulator
protected
def isStaticPrefix(pre: Type)(using Context): Boolean

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.

Inherited from
VariantTraversal
protected
def stopAt: StopAt
Inherited from
VariantTraversal
protected
def stopBecauseStaticOrLocal(tp: NamedType)(using Context): Boolean
Inherited from
VariantTraversal
override
def toString(): String
Definition Classes
Function2 -> Any
Inherited from
Function2
def tupled: (Unit, Type) => Unit
Inherited from
Function2

Implicits

Inherited implicits

implicit protected
val accCtx: Context
Inherited from
TypeAccumulator