def filtered.result
mylsm-lsm-store@0.6.0.1 · src/scan/RangeCursor.bend:161
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
161def filtered.result(
162 valid: Bool,
163 key: Bytes.Bytes,
164 value: Bytes.Bytes,
165 tail: List<&1, ByteMemTable.Entry>,
166 bounds: Bounds
167) -> Step:
168 match valid:
169 case True{}:
170 RangeItem{ByteMemTable.Entry{key, Some{value}}, RangeReady{tail}, bounds}
171 case False{}:
172 RangeSkip{RangeReady{tail}, bounds}