~/jendhub

def validate.metadata

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

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

148# Preserves metadata while deriving the reader budget from its parsed header.
149def validate.metadata(
150  pair: ByteBlockReader.Metadata & ByteBlockReader.Reader
151) -> IO(Result<&1, &1, U32 & String, ByteBlockReader.Metadata>):
152  match pair:
153    case (metadata, reader):
154      validate.budget(metadata, ByteBlockReader.transition_budget(reader))

Uses (10)

Used by (1)