~/jendhub

def read.footer.size

mylsm-lsm-store@0.6.0.1 · src/SstStreamIo.bend:268

import mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend as SstStreamIo
import Base
import mylsm-lsm-store@0.6.0.1/src/SstFile.bend as SstFile
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

268def read.footer.size(
269  file: File,
270  parser: SstFile.StreamState,
271  bytes: Bytes.Bytes,
272  valid: Bool
273) -> StreamReadState:
274  match valid:
275    case False{}:
276      ReadClose{file, Fail{(corruption_error_code(), "malformed SST size")}}
277    case True{}:
278      read.footer.parsed(file, SstFile.stream.footer(parser, bytes))

Uses (10)

Used by (1)