def read.header.parsed

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

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

128def read.header.parsed(
129  file: File,
130  +size: Nat,
131  result: Result<&1, &1, SstFile.Error, SstFile.StreamState>
132) -> StreamReadState:
133  match result:
134    case Fail{error}:
135      ReadClose{file, Fail{codec_error(error)}}
136    case Done{parser}:
137      ReadBlocks{file, size, 20n, parser}