def class.run

bend-kit-regex@0.8.0.0 · regex.bend:224

import Base

224# fuel: every step eats at least one char.
225def class.run(fuel: Nat, st: Cs) -> Cs:
226  match fuel:
227    case 0n:
228      CsFail{}
229    case 1n+f:
230      match st:
231        case CsGo{s, first, items}:
232          class.run(f, class.step(s, first, items))
233        case CsDone{items, rest}:
234          CsDone{items, rest}
235        case CsFail{}:
236          CsFail{}