scala.quoted.Quotes.reflectModule.TypeApplyMethods
Extension methods of TypeApply
Attributes
- Graph
- Supertypes
Members list
Concise view
Extensions
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
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
scala3-library-bootstrapped