TypeReprMethods (original) (raw)
scala.quoted.Quotes.reflectModule.TypeReprMethods
Extension methods of TypeRepr
Attributes
Source
Graph
Supertypes
Members list
Is this type a subtype of that type?
Is this type a subtype of that type?
Attributes
Source
Is self type the same as that type? This is the case iff self <:< that and that <:< self.
Is self type the same as that type? This is the case iff self <:< that and that <:< self.
Attributes
Source
The current type applied to given type arguments: this[targ]
The current type applied to given type arguments: this[targ]
Attributes
Source
The current type applied to given type arguments: this[targ0, ..., targN]
The current type applied to given type arguments: this[targ0, ..., targN]
Attributes
Source
Convert this TypeRepr to an Type[?]
Convert this TypeRepr to an Type[?]
Usage:
import scala.quoted.*
def f(using Quotes) = {
val q: Quotes = summon[Quotes]
import q.reflect.*
val typeRepr: TypeRepr = ???
typeRepr.asType match
case '[t] =>
'{ val x: t = ??? }
}
Attributes
Source
The base classes of this type with the class itself as first element.
The base classes of this type with the class itself as first element.
Attributes
Source
The least type instance of given class which is a super-type of this type. Example:
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]
Attributes
Source
Follow aliases, annotated types until type is no longer alias type, annotated type.
Follow aliases, annotated types until type is no longer alias type, annotated type.
Attributes
Source
Follow non-opaque aliases, annotated types until type is no longer alias type, annotated type.
Follow non-opaque aliases, annotated types until type is no longer alias type, annotated type.
Attributes
Source
Is this type an instance of a non-bottom subclass of the given class cls?
Is this type an instance of a non-bottom subclass of the given class cls?
Attributes
Source
Is this type an context function type?
Is this type an context function type?
Attributes
See also
Source
Is this type a dependent function type?
Is this type a dependent function type?
Attributes
See also
Source
Is this type a function type with erased parameters?
Is this type a function type with erased parameters?
Attributes
See also
Source
Is this type a function type?
Is this type a function type?
Attributes
Returns
true if the dealiased type of self without refinement is FunctionN[T1, T2, ..., Tn]
Note
The function
- returns true for
given Int => Intanderased Int => Int - returns false for
List[Int], despite thatList[Int] <:< Int => Int.
Source
Is this type a TupleN type?
Is this type a TupleN type?
Attributes
Returns
true if the dealiased type of self is TupleN[T1, T2, ..., Tn]
Source
The type of member as seen from prefix self.
The type of member as seen from prefix self.
Also see typeRef and termRef
Attributes
Source
The type <this . sym>, reduced if possible
The type <this . sym>, reduced if possible
Attributes
Source
Shows the type as a String
A simplified version of this type which is equivalent wrt =:= to this type. Reduces typerefs, applied match types, and and or types.
A simplified version of this type which is equivalent wrt =:= to this type. Reduces typerefs, applied match types, and and or types.
Attributes
Source
Substitute all types that refer in their symbol attribute to one of the symbols in from by the corresponding types in to.
Substitute all types that refer in their symbol attribute to one of the symbols in from by the corresponding types in to.
Attributes
Source
The applied type arguments (empty if there is no such arguments)
The applied type arguments (empty if there is no such arguments)
Attributes
Source
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:
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 <o.x.type>.widen = o.C
Attributes
Source
Widen from ByName type to its result type.
Widen from ByName type to its result type.
Attributes
Source
Widen from TermRef to its underlying non-termref base type, while also skipping ByName types.
Widen from TermRef to its underlying non-termref base type, while also skipping ByName types.
Attributes
Source
In this article