def scan_hit

mylsm-lsm-store@0.3.2.0 · src/MemTable.bend:79

import Base
import mylsm-lsm-store@0.3.2.0/src/Keys.bend as Keys

79def scan_hit(fuel: Nat, +key: String, st: (Bool & Maybe<&2, Maybe<&2, String>>), entries: List<&2, Entry>) -> Maybe<&2, Maybe<&2, String>>:
80  match fuel:
81    case 0n:
82      (done, ans) = st
83      ans
84    case 1n+f:
85      (done, ans) = st
86      match entries:
87        case Nil{}:
88          ans
89        case Con{Entry{ekey, val}, t}:
90          scan_hit(f, key, scan_hit_step(done, Keys.eq(ekey, key), val, ans), t)