module invoke

Builtins for invoking Ops and FnDefs.

index

class op_invoke

• op_invoke\setup(prev)  – Builtin:setup implementation.
• op_invoke\destroy()  – Builtin:destroy implementation.
• op_invoke\eval(scope, tail)  – perform an Op invocation.
• op_invoke\vis()  – Builtin:vis implementation.
• op_invoke.op  – The Op instance.

class fn_invoke

• fn_invoke\eval(caller_scope, tail)  – evaluate a user-function invocation.

details

class op_invoke

• op_invoke\setup(prev)  – Builtin:setup implementation.
  Op:forks the prev's Op instance if given. Creates a new instance otherwise.

  parameters:

  • prev
• op_invoke\destroy()  – Builtin:destroy implementation.
  calls op:destroy.
• op_invoke\eval(scope, tail)  – perform an Op invocation.
  AST:evals the tail, and passes the result to op:setup. Then checks if any of op:all_inputs are dirty, and if so, calls op:tick.

  The RTNode contains op, Op.value and all the RTNodes from the tail.

  parameters:

  • scope (Scope): the active scope
  • tail ({AST,...}): the arguments to this expression

  returns:

  1. (RTNode)
• op_invoke\vis()  – Builtin:vis implementation.
  calls op:vis.

  returns:

  1. (table): vis
• op_invoke.op  – The Op instance.
  • op (Op)

class fn_invoke

• fn_invoke\eval(caller_scope, tail)  – evaluate a user-function invocation.
  Creates a new Scope that inherits from FnDef.scope and has caller_scope as an additional parent for dynamic symbol resolution. Then AST:evals the tail in caller_scope, and defines the results to the names in FnDef.params in the newly created scope. Lastly, AST:clones FnDef.body with the prefix Builtin.tag, and AST:evals it in the newly created Scope.

  The RTNode contains the Stream from the cloned AST, and its children are all the RTNodes from evaluating the tail as well as the cloned ASTs.

  parameters:

  • caller_scope (Scope): the active scope
  • tail ({AST,...}): the arguments to this expression

  returns:

  1. (RTNode): the result of this evaluation