def read.block.header.state

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

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

217def read.block.header.state(
218  pair: File & Result<&1, &1, U32 & String, Bytes.Bytes>,
219  +size: Nat,
220  +used: Nat,
221  parser: SstFile.StreamState
222) -> StreamReadState:
223  match pair:
224    case (file, Fail{error}):
225      ReadClose{file, Fail{error}}
226    case (file, Done{header}):
227      read.block.header.copy(file, size, used, parser, header)