def next.pair.bounds.copied

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

import mylsm-lsm-store@0.6.0.1/src/scan/RangeCursor.bend as RangeCursor
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

264def next.pair.bounds.copied(
265  key: Bytes.Bytes,
266  check_key: Bytes.Bytes,
267  value: Maybe<&1, Bytes.Bytes>,
268  tail: List<&1, ByteMemTable.Entry>,
269  bounds: Bounds & Bounds,
270  retained: Bounds
271) -> Step:
272  match bounds:
273    case (upper_bounds, filter_bounds):
274      next.pair.checked(next.pair.upper(check_key, upper_bounds), key,
275        value, tail, (filter_bounds, retained))

Uses (10)

Used by (1)