def stream.blocks.footer

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

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

1284# Checks block and entry exhaustion before validating the SST footer.
1285def stream.blocks.footer(
1286  state: BlockStreamState,
1287  bytes: Bytes.Bytes
1288) -> Result<&1, &1, Error, Unit>:
1289  match state:
1290    case BlockStreamState{_, _, _, +remaining, +entries_left, _, _}:
1291      stream.blocks.footer.valid(state, bytes,
1292        U32.is_eq(remaining, 0) && U32.is_eq(entries_left, 0))