def scan.entry.upper.checked

mylsm-lsm-store@0.6.0.1 · src/scan/SstCursor.bend:167

import Base
import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend as ByteBlockReader
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

167def scan.entry.upper.checked(
168  key: Bytes.Bytes,
169  value: Maybe<&1, Bytes.Bytes>,
170  cursor: ByteBlockReader.EntryCursor,
171  bounds: Bounds & Bounds,
172  key_copies: Bytes.Bytes & Bytes.Bytes
173) -> IO(Step):
174  match bounds:
175    case (checked, retained):
176      match checked:
177        case Bounds{lower, upper, prefix}:
178          scan.entry.upper.fields(key, value, cursor, lower, upper, prefix,
179            retained, key_copies)