def index.page.footer.read

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

import Base
import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
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

1528def index.page.footer.read(
1529  file: File,
1530  reader: IndexMeta,
1531  offset: Nat,
1532  root_hash: SHA.Stream
1533) -> IO(Result<&1, &1, U32 & String, Step>):
1534  do IO<Result<&1, &1, U32 & String, Step>>:
1535    raw : File & Result<&1, &1, U32 & String, Bytes.Bytes> <-
1536      Fs.read_at(file, U32.from_nat(offset), 44)
1537    index.page.footer.exact(read_at.exact.pair(44, raw), reader, root_hash)