scala3-compiler-bootstrapped
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools.dotc.core/Types/TypeTraverser

TypeTraverser

dotty.tools.dotc.core.Types$.TypeTraverser
abstract class TypeTraverser(using x$1: Context) extends TypeAccumulator[Unit]

Attributes

Graph
Supertypes
trait (Unit, Type) => Unit
class Object
trait Matchable
class Any

Members list

Concise view

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): T

Attributes

Inherited from:
TypeAccumulator
final protected def applyToPrefix(x: Unit, tp: NamedType): T

Attributes

Inherited from:
TypeAccumulator
inline protected def atVariance[T](v: Int)(op: => T): T

Attributes

Inherited from:
VariantTraversal
def curried: T1 => T2 => R

Attributes

Inherited from:
Function2
final def foldOver(x: Unit, ts: List[Type]): T

Attributes

Inherited from:
TypeAccumulator
def foldOver(x: Unit, tp: Type): T

Attributes

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.

Attributes

Inherited from:
VariantTraversal
protected def stopAt: StopAt

Attributes

Inherited from:
VariantTraversal
protected def stopBecauseStaticOrLocal(tp: NamedType)(using Context): Boolean

Attributes

Inherited from:
VariantTraversal
override def toString(): String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns:

a string representation of the object.

Definition Classes
Function2 -> Any
Inherited from:
Function2
def tupled: ((T1, T2)) => R

Attributes

Inherited from:
Function2

Implicits

Inherited implicits

implicit protected val accCtx: Context

Attributes

Inherited from:
TypeAccumulator
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL