BackupCursor.advance.active: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend as BackupCursor
Lines 293-317 of mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&start_line=293&end_line=317

import Base
import mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend as VisibleCursor
import mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend as Backup

def advance.active(
  stream: Stream,
  source_step: VisibleCursor.Step
) -> Step:
  match stream:
    case Stream{CursorBlocks{}, cursor, pending, pending_count, seen, expected,
        entry_count, block_count, block_index}:
      match source_step:
        case VisibleCursor.Item{entry, cursor}:
          item(entry, Some{cursor}, pending, seen, pending_count, expected,
            entry_count, block_count, block_index)
        case VisibleCursor.Skip{cursor}:
          skip(Some{cursor}, pending, pending_count, seen, expected,
            entry_count, block_count, block_index)
        case VisibleCursor.End{}:
          finish(Stream{CursorBlocks{}, None{}, pending, pending_count, seen,
            expected, entry_count, block_count, block_index})
        case VisibleCursor.Error{error}:
          match error:
            case (code, message):
              Failure{None{}, Backup.SourceFailure{code, message}}
    case Stream{CursorFooter{}, cursor, pending, pending_count, seen,
        expected, entry_count, block_count, block_index}:
      footer(cursor, seen, expected, entry_count, block_count, block_index)
    case Stream{CursorFinished{}, _, _, _, _, _, _, _, _}: End{}

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&name=Phase
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&name=Stream
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&name=finish
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&name=footer
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&name=item
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&name=skip