dotty.tools.dotc.core.TypeComparer
See theTypeComparer companion class
object TypeComparer
Attributes
- Companion
- class
- Graph
-
- Supertypes
- Self type
-
TypeComparer.type
Members list
Type members
Classlikes
The approximation state indicates how the pair of types currently compared relates to the types compared originally.
The approximation state indicates how the pair of types currently compared relates to the types compared originally.
None
: They are still the same typesLoApprox
: The left type is approximated (i.e widened)"HiApprox
: The right type is approximated (i.e narrowed)"
Attributes
- Supertypes
- Self type
-
ApproxState.type
enum CompareResult
Attributes
- Supertypes
-
trait Enumtrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Value members
Concrete methods
The greatest lower bound of a list types
The greatest lower bound of a list types
Attributes
def instanceType(param: TypeParamRef, fromBelow: Boolean, widenUnions: Boolean, maxLevel: Int)(using Context): Type
The least upper bound of a list of types
The least upper bound of a list of types
Attributes
def subCaptures(refs1: CaptureSet, refs2: CaptureSet, frozen: Boolean)(using Context): CompareResult
In this article