def ordered.merge_many.go

mylsm-lsm-store@0.6.0.1 · src/ByteMemTable.bend:671

import Base

671def ordered.merge_many.go(fuel: Nat, runs: List<&1, List<&1, Entry>>) -> List<&1, Entry>:
672  match fuel:
673    case 0n:
674      match runs:
675        case Nil{}: Nil{}
676        case Con{run, _}: run
677    case 1n+rest_fuel:
678      match runs:
679        case Nil{}: Nil{}
680        case Con{run, Nil{}}: run
681        case Con{newer, Con{older, rest}}:
682          ordered.merge_many.go(rest_fuel,
683            Con{ordered.merge_newer(newer, older), ordered.merge_round(rest)})