TypeUtils

object TypeUtils
class Object
trait Matchable
class Any

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.

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.

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.

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.

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.

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.

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 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.

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?

The *: equivalent of an instance of a Tuple class

The *: equivalent of an instance of a Tuple class

def tupleArity(relaxEmptyTuple: Boolean)(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.

Value parameters:
relaxEmptyTuple

if true then TypeRef(EmptyTuple$) =:= EmptyTuple.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

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.