def index.page.footer.pair

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

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

1504def index.page.footer.pair(
1505  file: File,
1506  reader: IndexMeta,
1507  footer: Bytes.Bytes,
1508  root_hash: SHA.Stream
1509) -> IO(Result<&1, &1, U32 & String, Step>):
1510  match reader:
1511    case IndexMeta{+total, +index_length, _}:
1512      index.page.footer.finish(file, total, index_length, footer, root_hash,
1513        True{})