Scala 3/scala.quoted/Quotes/reflectModule/TypeApplyMethods

TypeApplyMethods

trait TypeApplyMethods

Extension methods of TypeApply

Source:
Quotes.scala
class Object
trait Matchable
class Any

Extensions

Extensions

extension (self: TypeApply)
def args: List[TypeTree]

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]
Source:
Quotes.scala
def fun: Term

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]
Source:
Quotes.scala