def run_acc

bend-collections@1.0.0.0 · src/containers/stack.bend:73

import bend-collections@1.0.0.0/src/containers/stack.bend as Stack
import Base
import bend-collections@1.0.0.0/src/containers/types/stack.bend as E

73def run_acc(~T: Data, ops: List<&2, E.Op<T>>, st: Stack<T> & List<&2, E.Obs<T>>) -> Stack<T> & List<&2, E.Obs<T>>:
74  match ops:
75    case Nil{}:
76      st
77    case Con{op, rest}:
78      run_acc(~T, rest, step_acc(~T, op, st))

Uses (6)

Used by (1)