def next.pair.checked

mylsm-lsm-store@0.6.0.1 · src/scan/RangeCursor.bend:230

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

230def next.pair.checked(
231  reached_upper: Bool,
232  key: Bytes.Bytes,
233  value: Maybe<&1, Bytes.Bytes>,
234  tail: List<&1, ByteMemTable.Entry>,
235  bounds: Bounds & Bounds
236) -> Step:
237  match reached_upper:
238    case True{}:
239      match bounds:
240        case (_, retained): RangeEnd{RangeEnded{}, retained}
241    case False{}:
242      filtered.value(key, value, tail, bounds)