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

CoveringSetAccumulator

class CoveringSetAccumulator(using x$1: Context) extends TypeAccumulator[Set[Symbol]]
trait (Set[Symbol], Type) => Set[Symbol]
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply(cs: Set[Symbol], tp: Type): Set[Symbol]

Inherited methods

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

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Returns:

a string representation of the object.

Definition Classes
Function2 -> Any
Inherited from:
Function2
def tupled: ((Set[Symbol], Type)) => Set[Symbol]
Inherited from:
Function2

Concrete fields

var seen: HashSet[Type]

Implicits

Inherited implicits

implicit protected val accCtx: Context
Inherited from:
TypeAccumulator