def next.body.output.index.hash

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

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

1108def next.body.output.index.hash(
1109  file: File,
1110  +size: Nat,
1111  header: Bytes.Bytes,
1112  +index_offset: Nat,
1113  +next_used: Nat,
1114  total: U32,
1115  block_count: U32,
1116  next_number: U32,
1117  next_decoded: U32,
1118  last_key: Maybe<&1, Bytes.Bytes>,
1119  entries: List<&1, ByteMemTable.Entry>,
1120  root_hash: SHA.Stream,
1121  index_hash: SHA.Stream,
1122  selected: Bool
1123) -> IO(Result<&1, &1, U32 & String, Step>):
1124  IO.pure(Result<&1, &1, U32 & String, Step>,
1125    Done{Block{Reader{file, State{size, header, index_offset, next_used,
1126      total, block_count, next_number, next_decoded, root_hash, index_hash,
1127      last_key, selected}}, entries}})