def ordered_entry

mylsm-lsm-store@0.3.2.0 · src/SstFileV2.bend:303

import Base
import mylsm-lsm-store@0.3.2.0/src/MemTable.bend as MemTable

303def ordered_entry(entry: MemTable.Entry, remaining: Nat, entries: List<&2, MemTable.Entry>, level: Nat, declared: Nat, body_rev: String, consumed: Nat) -> Decoder:
304  match entry:
305    case MemTable.Entry{+key, +val}:
306      match remaining:
307        case 0n:
308          DecoderRejected{TrailingData{}}
309        case 1n+rest:
310          match rest:
311            case 0n:
312              decoder_next(NeedHash{}, 0n, Some{key}, Con{MemTable.Entry{key, val}, entries}, level, declared, body_rev, consumed)
313            case 1n+more:
314              decoder_next(ReadTag{}, 1n+more, Some{key}, Con{MemTable.Entry{key, val}, entries}, level, declared, body_rev, consumed)