Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://scala-lang.org/api/3.x/scala/quoted/Quotes$reflectModule$TypeReprMethods.html below:

TypeReprMethods

scala.quoted.Quotes.reflectModule.TypeReprMethods

Extension methods of TypeRepr

Source

Quotes.scala

Graph

Supertypes

Is this type a subtype of that type?

Is this type a subtype of that type?

Source

Quotes.scala

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.

Source

Quotes.scala

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

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

Source

Quotes.scala

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

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

Source

Quotes.scala

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 = ??? }
}

Source

Quotes.scala

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.

Source

Quotes.scala

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]

Source

Quotes.scala

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.

Source

Quotes.scala

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.

Source

Quotes.scala

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?

Source

Quotes.scala

Is this type an context function type?

Is this type an context function type?

See also

Source

Quotes.scala

Is this type a dependent function type?

Is this type a dependent function type?

See also

Source

Quotes.scala

Is this type a function type with erased parameters?

Is this type a function type with erased parameters?

See also

Source

Quotes.scala

Is this type a function type?

Is this type a function type?

Returns

true if the dealiased 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.

Source

Quotes.scala

Is this type a TupleN type?

Is this type a TupleN type?

Returns

true if the dealiased type of self is TupleN[T1, T2, ..., Tn]

Source

Quotes.scala

The type of member as seen from prefix self.

The type of member as seen from prefix self.

Also see typeRef and termRef

Source

Quotes.scala

The type <this . sym>, reduced if possible

The type <this . sym>, reduced if possible

Source

Quotes.scala

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.

Source

Quotes.scala

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.

Source

Quotes.scala

The applied type arguments (empty if there is no such arguments)

The applied type arguments (empty if there is no such arguments)

Source

Quotes.scala

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

Source

Quotes.scala

Widen from ByName type to its result type.

Widen from ByName type to its result type.

Source

Quotes.scala

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.

Source

Quotes.scala

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4