def schedule_rounds

mylsm-lsm-store@0.6.0.1 · src/hub_sha/core.bend:136

import Base
import mylsm-lsm-store@0.6.0.1/src/hub_sha/state.bend as S

136# Consume the original block words, then continue directly with its expansion.
137def schedule_rounds(
138  ws: List<&2, U32>,
139  +extra: Nat,
140  +history: List<&2, U32>,
141  ks: List<&2, U32>,
142  state: S.State
143) -> S.State:
144  match ws ks:
145    case Nil{} _:
146      expanded_rounds(extra, history, ks, state)
147    case w <> wt Nil{}:
148      state
149    case w <> wt k <> kt:
150      schedule_rounds(wt, extra, history, kt, step(state, k, w))