def lookup.length.start

mylsm-lsm-store@0.6.0.1 · src/ByteMemTable.bend:411

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

411def lookup.length.start(
412  query: Bytes.Bytes,
413  entries: List<&1, Entry>,
414  count: Nat
415) -> Table & LengthProbe:
416  match entries:
417    case Nil{}: (Table{Nil{}}, LengthAbsent{})
418    case Con{Entry{key, val}, tail}:
419      lookup.length.output(lookup.length.go(Nat.add(count, 1n),
420        lookup.length.state(Nil{}, val, tail,
421          Keys.Bytes.cmp.with_inputs(key, query))))