run method

(A, S) run(
  1. S state
)

Extract value A and state S by passing the original state S.

To extract only the value A use evaluate.

To extract only the state S use execute.

Implementation

(A, S) run(S state) => _run(state);