ApplyMethods

Extension methods of Apply

Extension methods of Apply

Extensions

Extensions

extension (self: Apply)
def args: List[Term]

The arguments (implicitly) passed to the method

The arguments (implicitly) passed to the method

The Apply maybe a partially applied method:

def f(x1: Int)(x2: Int) = ...
f(1)(2)
  • args is (2) in the Apply of f(1)(2)
  • args is (1) in the Apply of f(1)
def fun: Term

The fun part of an (implicit) application like fun(args)

The fun part of an (implicit) application like fun(args)

It maybe a partially applied method:

def f(x1: Int)(x2: Int) = ...
f(1)(2)
  • fun is f(1) in the Apply of f(1)(2)
  • fun is f in the Apply of f(1)