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}

Uses (8)

Used by (1)