def merge_round

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

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

275# Merge round for the sorted-run operations.
276def merge_round(groups: List<&2, RunGroup>) -> List<&2, RunGroup>:
277  match groups:
278    case Nil{}:
279      Nil{}
280    case Con{group, Nil{}}:
281      Con{group, Nil{}}
282    case Con{newer, Con{older, rest}}:
283      merged tail = merge_groups(newer, older) merge_round(rest)
284      Con{merged, tail}

Uses (3)

Used by (1)