def append.checked

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupCursorPolicy.bend:42

import Base

42def append.checked(
43  seen: Nat,
44  pending: Nat,
45  within_expected_count: Bool
46) -> AppendDecision:
47  match within_expected_count:
48    case True{}: append.capacity(seen, pending)
49    case False{}: CursorRejected{}