Extension methods of TypeApply
TypeApply
The (inferred) type arguments passed to the method
The TypeApply maybe a partially applied method: scala extension (x: Int) def f[T](y: T) = ... // represented as // def f(x: Int)[T](y: T) = ...
scala 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]
- fun is
- fun
-
in the
of
The fun part of an (inferred) type application like fun[Args]
fun
fun[Args]
It maybe a partially applied method: scala 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]