type IndexPageState

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

import Base
import mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend as SstStreamIo
import mylsm-lsm-store@0.6.0.1/src/hub_sha/sha256.bend as SHA

58# Retains one bounded serialized-index page and its incremental validators.
59type IndexPageState is Type:
60  IndexPageNeed{file: File, reader: IndexMeta, offset: Nat, remaining: Nat,
61    actual_hash: SHA.Stream, root_hash: SHA.Stream}
62  IndexPageRead{pair: File & Result<&1, &1, U32 & String, SstStreamIo.ExactResult>,
63    reader: IndexMeta, offset: Nat, remaining: Nat,
64    actual_hash: SHA.Stream, root_hash: SHA.Stream}
65  IndexPageParsed{file: File, result: Result<&1, &1, U32 & String, IndexPageData>}