TypeUtils

dotty.tools.dotc.transform.TypeUtils
object TypeUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
TypeUtils.type

Members list

Extensions

Extensions

extension (self: 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.

Attributes

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.

Attributes

Is this type a checked exception? This is the case if the type derives from Exception but not from RuntimeException. According to that definition Throwable is unchecked. That makes sense since you should neither throw nor catch Throwable anyway, so we should not define a capability to do so.

Is this type a checked exception? This is the case if the type derives from Exception but not from RuntimeException. According to that definition Throwable is unchecked. That makes sense since you should neither throw nor catch Throwable anyway, so we should not define a capability to do so.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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?

Attributes

Is this type a methodic type that takes at least one parameter?

Is this type a methodic type that takes at least one parameter?

Attributes

def toNestedPairs(using Context): Type

The *: equivalent of an instance of a Tuple class

The *: equivalent of an instance of a Tuple class

Attributes

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

Attributes

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.

Attributes