def run

bend-kit-tar@0.3.0.0 · tar.bend:536

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

536def run(fuel: Nat, r: Bytes.Cursor & St) -> Maybe<&1, List<&1, Entry>>:
537  match fuel:
538    case 0n:
539      None{}
540    case 1n+f:
541      (c, st) = r
542      match st:
543        case SOk{xs}:
544          Some{xs}
545        case SFail{}:
546          None{}
547        case SHead{pax, acc}:
548          run(f, step(c, pax, acc))