Scala 3/API/scala.quoted/Quotes/reflectModule/TypeReprMethods

TypeReprMethods

given TypeReprMethods

Extension methods of TypeRepr

Extensions

Extensions

extension (self: TypeRepr)
def <:<(that: TypeRepr): Boolean

Is this type a subtype of that type?

def =:=(that: TypeRepr): Boolean

Is self type the same as that type? This is the case iff self <:< that and that <:< self.

def appliedTo(targ: TypeRepr): TypeRepr

The current type applied to given type arguments: this[targ]

def appliedTo(targs: List[TypeRepr]): TypeRepr

The current type applied to given type arguments: this[targ0, ..., targN]

def asType: Type[_ <: AnyKind]

Convert this TypeRepr to an Type[?]

Usage:

typeRepr.asType match
  case '[$t] =>
    '{ val x: t = ... }
def baseClasses: List[Symbol]

The base classes of this type with the class itself as first element.

def baseType(cls: Symbol): TypeRepr

The least type instance of given class which is a super-type of this type. Example:

class D[T] class C extends p.D[Int] ThisType(C).baseType(D) = p.D[Int]
def dealias: TypeRepr

Follow aliases, annotated types until type is no longer alias type, annotated type.

def derivesFrom(cls: Symbol): Boolean

Is this type an instance of a non-bottom subclass of the given class cls?

def isContextFunctionType: Boolean

Is this type an context function type?

See also

isFunctionType

def isDependentFunctionType: Boolean

Is this type a dependent function type?

See also

isFunctionType

def isErasedFunctionType: Boolean

Is this type an erased function type?

See also

isFunctionType

def isFunctionType: Boolean

Is this type a function type?

Returns

true if the dealised type of self without refinement is FunctionN[T1, T2, ..., Tn]

Note

The function

  • returns true for given Int => Int and erased Int => Int

  • returns false for List[Int], despite that List[Int] <:< Int => Int.

def memberType(member: Symbol): TypeRepr
def select(sym: Symbol): TypeRepr

The type sym>, reduced if possible

def show(using Printer[TypeRepr]): String

Shows the type as a String

def simplified: TypeRepr

A simplified version of this type which is equivalent wrt =:= to this type. Reduces typerefs, applied match types, and and or types.

def widen: TypeRepr

Widen from singleton type to its underlying non-singleton base type by applying one or more underlying dereferences, Also go from => T to T. Identity for all other types. Example:

class Outer { class C ; val x: C } def o: Outer .widen = o.C

def widenByName: TypeRepr

Widen from ByName type to its result type.

def widenTermRefByName: TypeRepr

Widen from TermRef to its underlying non-termref base type, while also skipping ByName types.