def resolve_step

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

import Base

76# Resolve step for the sorted-run operations.
77def resolve_step(
78  done: Bool,
79  hit: Bool,
80  val: Maybe<&2, String>,
81  ans: Maybe<&2, Maybe<&2, String>>
82) -> Bool & Maybe<&2, Maybe<&2, String>>:
83  match done:
84    case True{}:
85      (True{}, ans)
86    case False{}:
87      match hit:
88        case True{}:
89          (True{}, Some{val})
90        case False{}:
91          (False{}, ans)