def parse.footer.count

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

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

1095def parse.footer.count(
1096  pair: Bytes.Cursor & Maybe<&2, U32>,
1097  +level: U32,
1098  +total: U32,
1099  +block_count: U32,
1100  entries: List<&2, MemTable.Entry>,
1101  hashes: List<&1, Bytes.Bytes>
1102) -> Result<&1, &1, Error, Sstable.Table>:
1103  match pair:
1104    case (cursor, Some{+footer_total}):
1105      parse.footer.count.checked(cursor, level, total, block_count, entries,
1106        hashes, U32.is_eq(total, footer_total))
1107    case (_, None{}):
1108      Fail{Malformed{}}