scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/Types/BiTypeMap

BiTypeMap

dotty.tools.dotc.core.Types.BiTypeMap
trait BiTypeMap extends TypeMap

A supertrait for some typemaps that are bijections. Used for capture checking. BiTypeMaps should map capture references to capture references.

Attributes

Graph
Supertypes
class TypeMap
trait Type => Type
class Object
trait Matchable
class Any
Show all
Known subtypes
class CapMap
class ToResult
class CapToFresh.this.Inverse
class CapToFresh
class Internalize.this.Inverse
class Internalize
object ToResult.this.inverse
class SubstBindingMap[BT]
Show all
Self type

Members list

Value members

Abstract methods

def inverse: BiTypeMap

The inverse of the type map

The inverse of the type map

Attributes

Concrete methods

def fuse(next: BiTypeMap)(using Context): Option[TypeMap]

Fuse with another map

Fuse with another map

Attributes

override def mapCapability(c: Capability, deep: Boolean): Capability

A restriction of this map to a function on tracked Capabilities

A restriction of this map to a function on tracked Capabilities

Attributes

Definition Classes
def mapFutureElements: Boolean

Hook to control behavior on capture set variables. If true, install the map on capture set variables so that future elements are also mapped. If false, just map the elements currently present in the capture set variable.

Hook to control behavior on capture set variables. If true, install the map on capture set variables so that future elements are also mapped. If false, just map the elements currently present in the capture set variable.

Attributes

Inherited methods

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

Attributes

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

Composes two instances of Function1 in a new Function1, with this function applied first.

Composes two instances of Function1 in a new Function1, with this function applied first.

Type parameters

A

the result type of function g

Value parameters

g

a function R => A

Attributes

Returns

a new function f such that f(x) == g(apply(x))

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

Attributes

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

Composes two instances of Function1 in a new Function1, with this function applied last.

Composes two instances of Function1 in a new Function1, with this function applied last.

Type parameters

A

the type to which function g can be applied

Value parameters

g

a function A => T1

Attributes

Returns

a new function f such that f(x) == apply(g(x))

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

Attributes

Inherited from:
TypeMap
protected def derivedAndOrType(tp: AndOrType, tp1: Type, tp2: 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 derivedFlexibleType(tp: FlexibleType, hi: 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[tp.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 mapArg(arg: Type, tparam: ParamInfo): Type

Attributes

Inherited from:
TypeMap
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
protected def mapConserveSuper(t: TypeProxy): Type

Utility method. Maps the supertype of a type proxy. Returns the type proxy itself if the mapping leaves the supertype unchanged. This avoids needless changes in mapped types.

Utility method. Maps the supertype of a type proxy. Returns the type proxy itself if the mapping leaves the supertype unchanged. This avoids needless changes in mapped types.

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 mapOverTypeVar(tp: TypeVar): Type

Attributes

Inherited from:
TypeMap
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
TypeMap -> Function1 -> Any
Inherited from:
TypeMap
def toTrackableRef(tp: Type): Capability | Null

Attributes

Inherited from:
TypeMap
protected def tyconTypeParams(tp: AppliedType)(using Context): List[ParamInfo]

The type parameters of the constructor of this applied type. Overridden in OrderingConstraint's ConstraintAwareTraversal to take account of instantiations in the constraint that are not yet propagated to the instance types of type variables.

The type parameters of the constructor of this applied type. Overridden in OrderingConstraint's ConstraintAwareTraversal to take account of instantiations in the constraint that are not yet propagated to the instance types of type variables.

Attributes

Inherited from:
VariantTraversal

Inherited and Abstract methods

def apply(tp: Type): Type

Applies the body of this function to the argument.

Applies the body of this function to the argument.

Attributes

Returns

the result of function application.

Inherited from:
TypeMap

Implicits

Inherited implicits

implicit protected val mapCtx: Context

Attributes

Inherited from:
TypeMap
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL