TypeApplyMethods (original) (raw)

scala.quoted.Quotes.reflectModule.TypeApplyMethods

Extension methods of TypeApply

Attributes

Source

Quotes.scala

Graph

Supertypes

Members list

The (inferred) type arguments passed to the method

The (inferred) type arguments passed to the method

The TypeApply may be a partially applied method:

type T
extension (x: Int) def f[T](y: T) = ???
// represented as
// def f(x: Int)[T](y: T) = ???

1.f[Int](2)
// represented as
// f(1)[Int](2)

• fun is [Int] in the TypeApply of f(1)[Int]

Attributes

Source

Quotes.scala

The fun part of an (inferred) type application like fun[Args]

The fun part of an (inferred) type application like fun[Args]

It may be a partially applied method:

type T
extension (x: Int) def f[T](y: T) = ???
// represented as
// def f(x: Int)[T](y: T) = ???

1.f[Int](2)
// represented as
// f(1)[Int](2)

• fun is f(1) in the TypeApply of f(1)[Int]

Attributes

Source

Quotes.scala

In this article

• Attributes
• Members list
  • Extensions
    * Extensions