~/jendhub

def validate.budget

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

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

139# Starts metadata-only validation with the reader's bounded transition budget.
140def validate.budget(
141  metadata: ByteBlockReader.Metadata,
142  pair: Nat & ByteBlockReader.Reader
143) -> IO(Result<&1, &1, U32 & String, ByteBlockReader.Metadata>):
144  match pair:
145    case (fuel, reader):
146      validate.loop(fuel, ValidateNeed{reader, metadata})

Uses (11)

Used by (1)