def next.body.ordered

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:1259

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

1259def next.body.ordered(
1260  file: File,
1261  state: State,
1262  block_bytes: Bytes.Bytes,
1263  +payload_length: U32,
1264  measured: List<&1, ByteMemTable.Entry> & Nat
1265) -> IO(Result<&1, &1, U32 & String, Step>):
1266  match measured:
1267    case (entries, raw_count):
1268      next.body.output(file, state, block_bytes, payload_length, raw_count,
1269        ByteMemTable.entries.clone(ByteMemTable.ordered_entries(
1270          ByteMemTable.Table{entries})))