def next

mylsm-lsm-store@0.6.0.1 · src/transfer/Backup.bend:373

import Base

373# Advances an export by one header, block, footer, or terminal state.
374def next(stream: Stream) -> Result<&1, &1, Error, Step>:
375  match stream:
376    case Stream{Header{}, _, _, _, _}:
377      next.header.result(header.bytes(stream))
378    case Stream{Blocks{}, _, _, _, _}:
379      next.block(stream)
380    case Stream{Footer{}, _, _, _, _}:
381      next.footer.result(footer.bytes(stream))
382    case Stream{Finished{}, _, _, _, _}:
383      Done{End{}}