def index.page.decode

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

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

1586def index.page.decode(
1587  reader: IndexMeta,
1588  +offset: Nat,
1589  +remaining: Nat,
1590  actual_hash: SHA.Stream,
1591  root_hash: SHA.Stream,
1592  bytes: Bytes.Bytes,
1593  complete: Bool
1594) -> Result<&1, &1, U32 & String, IndexPageData>:
1595  index.page.decode.copies(reader, offset, remaining, actual_hash, root_hash,
1596    ByteSstFile.clone.split(bytes), complete)