def resolve_state

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

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

79def resolve_state(entries: List<&2, MemTable.Entry>, +key: String, state: Bool & Maybe<&2, Maybe<&2, String>>) -> Bool & Maybe<&2, Maybe<&2, String>>:
80  match entries:
81    case Nil{}:
82      state
83    case Con{MemTable.Entry{k, val}, t}:
84      (done, ans) = state
85      resolve_state(t, key, resolve_step(done, Keys.eq(k, key), val, ans))