scala3-compiler-bootstrapped/dotty.tools.dotc.transform/TypeUtils

TypeUtils

object TypeUtils
class Object
trait Matchable
class Any

Extensions

Extensions

extension (self: Type)
def companionRef(using Context): TermRef

The TermRef referring to the companion of the underlying class reference of this type, while keeping the same prefix.

The TermRef referring to the companion of the underlying class reference of this type, while keeping the same prefix.

def ensureMethodic(using Context): Type

A decorator that provides methods on types that are needed in the transformer pipeline.

A decorator that provides methods on types that are needed in the transformer pipeline.

def isByName: Boolean

A decorator that provides methods on types that are needed in the transformer pipeline.

A decorator that provides methods on types that are needed in the transformer pipeline.

def isErasedClass(using Context): Boolean

A decorator that provides methods on types that are needed in the transformer pipeline.

A decorator that provides methods on types that are needed in the transformer pipeline.

def isErasedValueType(using Context): Boolean

A decorator that provides methods on types that are needed in the transformer pipeline.

A decorator that provides methods on types that are needed in the transformer pipeline.

def isPrimitiveValueType(using Context): Boolean

A decorator that provides methods on types that are needed in the transformer pipeline.

A decorator that provides methods on types that are needed in the transformer pipeline.

def refinedWith(name: Name, info: Type)(using Context): RefinedType

A decorator that provides methods on types that are needed in the transformer pipeline.

A decorator that provides methods on types that are needed in the transformer pipeline.

def takesImplicitParams(using Context): Boolean

Is this type a methodic type that takes implicit parameters (both old and new) at some point?

Is this type a methodic type that takes implicit parameters (both old and new) at some point?

def toNestedPairs(using Context): Type

The *: equivalent of an instance of a Tuple class

The *: equivalent of an instance of a Tuple class

def tupleArity(using Context): Int

The arity of this tuple type, which can be made up of EmptyTuple, TupleX and *: pairs, or -1 if this is not a tuple type.

The arity of this tuple type, which can be made up of EmptyTuple, TupleX and *: pairs, or -1 if this is not a tuple type.

def tupleElementTypes(using Context): List[Type]

The element types of this tuple type, which can be made up of EmptyTuple, TupleX and *: pairs

The element types of this tuple type, which can be made up of EmptyTuple, TupleX and *: pairs

def widenToParents(using Context): Type

A decorator that provides methods on types that are needed in the transformer pipeline.

A decorator that provides methods on types that are needed in the transformer pipeline.