Action[S: (Any #read & Equatable[S]), D: Any #share, V: Any #share]

[Source]

Used to assemble a custom result value.

interface val Action[S: (Any #read & Equatable[S]), D: Any #share, V: Any #share]

Public Functions

apply

[Source]

fun box apply(
  data: D,
  result: Success[S, D, V] box,
  child_values: ReadSeq[V] val,
  bindings: HashMap[Variable val, Binding[S, D, V] box, HashIs[Variable val] val] ref)
: (V | None val)

Parameters

• data: D
• result: Success[S, D, V] box
• child_values: ReadSeq[V] val
• bindings: HashMap[Variable val, Binding[S, D, V] box, HashIs[Variable val] val] ref

Returns

• (V | None val)

---