def resolve_state

mylsm-lsm-store@0.6.0.1 · src/SortedRun.bend:93

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

93# Resolve state for the sorted-run operations.
94def resolve_state(
95  entries: List<&2, MemTable.Entry>,
96  +key: String,
97  state: Bool & Maybe<&2, Maybe<&2, String>>
98) -> Bool & Maybe<&2, Maybe<&2, String>>:
99  match entries:
100    case Nil{}:
101      state
102    case Con{MemTable.Entry{k, val}, t}:
103      (done, ans) = state
104      resolve_state(t, key, resolve_step(done, Keys.eq(k, key), val, ans))