def parse.stream.finish.index.copies

mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:1603

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

1603def parse.stream.finish.index.copies(
1604  header: Bytes.Bytes,
1605  checksums: Bytes.Bytes,
1606  entries: Bytes.Bytes,
1607  index_copies: Bytes.Bytes & Bytes.Bytes,
1608  footer: Bytes.Bytes,
1609  +total: U32,
1610  +block_count: U32
1611) -> Result<&1, &1, Error, Unit>:
1612  match index_copies:
1613    case (for_compare, for_hash):
1614      parse.stream.finish.index.root(header, checksums, footer, total,
1615        for_hash, Bytes.eq(for_compare,
1616          Bytes.concat([index.magic(), u32.bytes(block_count), entries])))