def append.capacity

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

import Base

32# Selects buffering, a full block, or rejection after the count check.
33def append.capacity(seen: Nat, pending: Nat) -> AppendDecision:
34  match pending:
35    case 0n: CursorBuffer{Nat.add(seen, 1n), 1n}
36    case 1n+rest:
37      match rest:
38        case 14n: CursorBlockReady{Nat.add(seen, 1n), 16n}
39        case 15n+more: CursorRejected{}
40        case _: CursorBuffer{Nat.add(seen, 1n), Nat.add(pending, 1n)}