def replay.header.validated

mylsm-lsm-store@0.6.0.1 · src/transfer/LegacyWal.bend:372

import Base
import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Wal
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

372def replay.header.validated(
373  source: Bytes.Bytes,
374  fuel: Nat,
375  validation: Result<&1, &1, Wal.Error, Unit>
376) -> ReplayResult:
377  match validation:
378    case Fail{_}: ReplayInvalid{}
379    case Done{Unit{}}: replay.loop(fuel, ReplayNeed{source, 8n, Nil{}})