def filtered.bounds

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

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

190def filtered.bounds(
191  value: Bytes.Bytes,
192  tail: List<&1, ByteMemTable.Entry>,
193  bounds: Bounds & Bounds,
194  keys: Bytes.Bytes & Bytes.Bytes & Bytes.Bytes
195) -> Step:
196  match bounds:
197    case (checked, retained):
198      match keys:
199        case (original_key, range_key, prefix_key):
200          filtered.result(matches.key((range_key, prefix_key), checked),
201            original_key, value, tail, retained)

Uses (9)

Used by (1)