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