def block.written

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupCursor.bend:80

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
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

80def block.written(
81  result: Result<&1, &1, Backup.Error, Bytes.Bytes>,
82  cursor: Maybe<&1, VisibleCursor.Cursor>,
83  seen: Nat,
84  expected: Nat,
85  entry_count: U32,
86  block_count: U32,
87  next_index: U32,
88  next_phase: Phase
89) -> Step:
90  match result:
91    case Fail{error}: Failure{cursor, error}
92    case Done{bytes}:
93      Chunk{Stream{next_phase, cursor, Nil{}, 0n, seen,
94        expected, entry_count, block_count, next_index}, bytes}