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

TypeSizeAccumulator

class TypeSizeAccumulator(using `x$1`: Context) extends TypeAccumulator[Int]
trait (Int, Type) => Int
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply(n: Int, tp: Type): Int

Inherited methods

protected def applyToAnnot(x: Int, annot: Annotation): Int
Inherited from
TypeAccumulator
final protected def applyToPrefix(x: Int, tp: NamedType): Int
Inherited from
TypeAccumulator
inline protected def atVariance[T](v: Int)(op: => T): T
Inherited from
VariantTraversal
def curried: Int => Type => Int
Inherited from
Function2
final def foldOver(x: Int, ts: List[Type]): Int
Inherited from
TypeAccumulator
def foldOver(x: Int, tp: Type): Int
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 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: (Int, Type) => Int
Inherited from
Function2

Concrete fields

Implicits

Inherited implicits

implicit protected val accCtx: Context
Inherited from
TypeAccumulator