def parse.records.empty

mylsm-lsm-store@0.6.0.1 · src/SstFile.bend:795

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

795# Parse a counted sequence and enforce block boundaries and strict key order.
796def parse.records.empty(
797  decision: RecordDecision
798) -> Bytes.Cursor & Result<&1, &1, Error, ParsedEntries>:
799  match decision:
800    case Rejected{cursor, _}:
801      (cursor, Fail{Malformed{}})
802    case OutOfBounds{cursor}:
803      (cursor, Fail{Malformed{}})
804    case OutOfOrder{cursor}:
805      (cursor, Fail{Malformed{}})
806    case LastMalformed{cursor}:
807      (cursor, Fail{Malformed{}})
808    case LastRecord{cursor, _, _}:
809      (cursor, Fail{Malformed{}})
810    case MoreRecords{cursor, _, _, _}:
811      (cursor, Fail{Malformed{}})