IdempotentCaptRefMap

dotty.tools.dotc.cc.CaptureSet$.IdempotentCaptRefMap

A TypeMap with the property that every capture reference in the image of the map is mapped to itself. I.e. for all capture references r1, r2, if M(r1) == r2 then M(r2) == r2.

Attributes

Graph
Supertypes
class TypeMap
trait Type => Type
class Object
trait Matchable
class Any
Known subtypes

Members list

Concise view

Value members

Inherited methods

def andThen(f: Type => Type): TypeMap

Attributes

Inherited from:
TypeMap
def andThen[A](g: Type => A): T1 => A

Attributes

Inherited from:
Function1
def apply(tp: Type): Type

Attributes

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

Attributes

Inherited from:
VariantTraversal
def compose[A](g: A => Type): A => R

Attributes

Inherited from:
Function1
protected def derivedAlias(tp: AliasingBounds, alias: Type): Type

Attributes

Inherited from:
TypeMap
protected def derivedAndType(tp: AndType, tp1: Type, tp2: Type): Type

Attributes

Inherited from:
TypeMap
protected def derivedAnnotatedType(tp: AnnotatedType, underlying: Type, annot: Annotation): Type

Attributes

Inherited from:
TypeMap
protected def derivedAppliedType(tp: AppliedType, tycon: Type, args: List[Type]): Type

Attributes

Inherited from:
TypeMap
protected def derivedCapturingType(tp: Type, parent: Type, refs: CaptureSet): Type

Attributes

Inherited from:
TypeMap
protected def derivedClassInfo(tp: ClassInfo, pre: Type): Type

Attributes

Inherited from:
TypeMap
protected def derivedExprType(tp: ExprType, restpe: Type): Type

Attributes

Inherited from:
TypeMap
protected def derivedJavaArrayType(tp: JavaArrayType, elemtp: Type): Type

Attributes

Inherited from:
TypeMap
protected def derivedLambdaType(tp: LambdaType)(formals: List[PInfo], restpe: Type): Type

Attributes

Inherited from:
TypeMap
protected def derivedMatchType(tp: MatchType, bound: Type, scrutinee: Type, cases: List[Type]): Type

Attributes

Inherited from:
TypeMap
protected def derivedOrType(tp: OrType, tp1: Type, tp2: Type): Type

Attributes

Inherited from:
TypeMap
protected def derivedRecType(tp: RecType, parent: Type): Type

Attributes

Inherited from:
TypeMap
protected def derivedRefinedType(tp: RefinedType, parent: Type, info: Type): Type

Attributes

Inherited from:
TypeMap
protected def derivedSelect(tp: NamedType, pre: Type): Type

Attributes

Inherited from:
TypeMap
protected def derivedSkolemType(tp: SkolemType, info: Type): Type

Attributes

Inherited from:
TypeMap
protected def derivedSuperType(tp: SuperType, thistp: Type, supertp: Type): Type

Attributes

Inherited from:
TypeMap
protected def derivedTypeBounds(tp: TypeBounds, lo: Type, hi: Type): Type

Attributes

Inherited from:
TypeMap
protected def derivedWildcardType(tp: WildcardType, bounds: Type): Type

Attributes

Inherited from:
TypeMap
def isRange(tp: Type): Boolean

Attributes

Inherited from:
TypeMap
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 mapArgs(args: List[Type], tparams: List[ParamInfo]): List[Type]

Attributes

Inherited from:
TypeMap
protected def mapCapturingType(tp: Type, parent: Type, refs: CaptureSet, v: Int): Type

Attributes

Inherited from:
TypeMap
protected def mapClassInfo(tp: ClassInfo): Type

Can be overridden. By default, only the prefix is mapped.

Can be overridden. By default, only the prefix is mapped.

Attributes

Inherited from:
TypeMap
def mapOver(tree: Tree): Tree

Attributes

Inherited from:
TypeMap
def mapOver(scope: Scope): Scope

Attributes

Inherited from:
TypeMap
def mapOver(syms: List[Symbol]): List[Symbol]

Attributes

Inherited from:
TypeMap
def mapOver(tp: Type): Type

Map this function over given type

Map this function over given type

Attributes

Inherited from:
TypeMap
protected def mapOverLambda(tp: LambdaType): Type

Attributes

Inherited from:
TypeMap
protected def stopAt: StopAt

Attributes

Inherited from:
VariantTraversal

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
Function1 -> Any
Inherited from:
Function1

Implicits

Inherited implicits

implicit protected val mapCtx: Context

Attributes

Inherited from:
TypeMap