def lookup.start.counted.lookup
mylsm-lsm-store@0.6.0.1 · src/ByteMemTable.bend:288
import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
import Base
import mylsm-lsm-store@0.6.0.1/src/Keys.bend as Keys
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
288def lookup.start.counted.lookup(
289 query: Bytes.Bytes,
290 entries: List<&1, Entry>,
291 count: Nat
292) -> Lookup:
293 match entries:
294 case Nil{}: Lookup{Nil{}, None{}, False{}}
295 case Con{Entry{key, val}, tail}:
296 lookup.go(Nat.add(count, 1n),
297 lookup.state(Nil{}, val, tail, Keys.Bytes.cmp.with_inputs(key, query)))