def validate.opened

mylsm-lsm-store@0.6.0.1 · src/ByteSstIo.bend:156

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

156# Extracts metadata before consuming the reader through the validation pass.
157def validate.opened(
158  opened: Result<&1, &1, U32 & String, ByteBlockReader.Reader>
159) -> IO(Result<&1, &1, U32 & String, ByteBlockReader.Metadata>):
160  match opened:
161    case Fail{error}:
162      IO.pure(Result<&1, &1, U32 & String, ByteBlockReader.Metadata>, Fail{error})
163    case Done{reader}:
164      validate.metadata(ByteBlockReader.metadata(reader))