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

TypeAccumulator

abstract class TypeAccumulator[T](implicit val accCtx: Context) extends VariantTraversal with (T, Type) => T
trait (T, Type) => T
class Object
trait Matchable
class Any

Value members

Abstract methods

def apply(x: T, tp: Type): T

Concrete methods

protected def applyToAnnot(x: T, annot: Annotation): T
final protected def applyToPrefix(x: T, tp: NamedType): T
def foldOver(x: T, tp: Type): T
final def foldOver(x: T, ts: List[Type]): T

Inherited methods

inline protected def atVariance[T](v: Int)(op: => T): T
Inherited from
VariantTraversal
def curried: T => Type => T
Inherited from
Function2
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 stopAtStatic: Boolean
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: (T, Type) => T
Inherited from
Function2

Implicits

Implicits

implicit protected val accCtx: Context