def filtered.value

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

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

213def filtered.value(
214  key: Bytes.Bytes,
215  value: Maybe<&1, Bytes.Bytes>,
216  tail: List<&1, ByteMemTable.Entry>,
217  bounds: Bounds & Bounds
218) -> Step:
219  match value:
220    case None{}:
221      match bounds:
222        case (_, retained): RangeSkip{RangeReady{tail}, retained}
223    case Some{bytes}:
224      filtered.key(ByteMemTable.bytes.clone(key), bytes, tail, bounds)