def window_schedule_rounds
mylsm-lsm-store@0.6.0.1 · src/hub_sha/core.bend:165
import mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend as Core
import Base
import mylsm-lsm-store@0.6.0.1/src/hub_sha/state.bend as S
165
166def window_schedule_rounds(
167 ws: List<&2, U32>,
168 +extra: Nat,
169 win: ShaWindow,
170 ks: List<&2, U32>,
171 state: S.State
172) -> S.State:
173 match ws ks:
174 case Nil{} _:
175 window_rounds(extra, win, ks, state)
176 case w <> wt Nil{}:
177 state
178 case w <> wt k <> kt:
179 window_schedule_rounds(wt, extra, win, kt, step(state, k, w))