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)