def parse.step.level.remaining

mylsm-lsm-store@0.6.0.1 · src/Manifest.bend:355

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

355def parse.step.level.remaining(
356  levels_left: Nat,
357  levels_acc: List<&2, List<&2, String>>,
358  names: List<&2, String>,
359  cursor: Bytes.Cursor
360) -> ParseTransition:
361  match levels_left:
362    case 0n:
363      Reject{cursor}
364    case 1n+rest:
365      match rest:
366        case 0n:
367          Finish{cursor, List.reverse(&2, List<&2, String>, Con{names, levels_acc})}
368        case 1n+more:
369          Continue{ReadNamesCount{1n+more, Con{names, levels_acc}}, NoInput{cursor}}