def read.block.body.parsed

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

import Base
import mylsm-lsm-store@0.6.0.1/src/SstFile.bend as SstFile

229def read.block.body.parsed(
230  file: File,
231  +size: Nat,
232  +used: Nat,
233  +tail_len: U32,
234  result: Result<&1, &1, SstFile.Error, SstFile.StreamState>
235) -> StreamReadState:
236  match result:
237    case Fail{error}:
238      ReadClose{file, Fail{codec_error(error)}}
239    case Done{parser}:
240      ReadBlocks{file, size, Nat.add(used,
241        Nat.add(8n, U32.to_nat(tail_len))), parser}