def advance.state

mylsm-lsm-store@0.6.0.1 · src/scan/BlockOrder.bend:26

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

26def advance.state(
27  previous: Maybe<&1, Bytes.Bytes>,
28  +count: Nat,
29  valid: Bool,
30  copies: Bytes.Bytes & Bytes.Bytes
31) -> State:
32  match copies:
33    case (for_compare, retained):
34      State{valid && compare(previous, for_compare), Some{retained},
35        Nat.add(count, 1n)}