def class_orders_go

mlbend-split@0.1.1.0 · main.bend:59

import Base

59# The shuffled rows of every class, one class after the other.
60def class_orders_go(+labels: List<&2, Nat>, +seed: U32, remaining: Nat, +next: Nat,
61  +acc: List<&2, List<&2, Nat>>) -> List<&2, List<&2, Nat>>:
62  match remaining:
63    case 0n:
64      acc
65    case 1n+rest:
66      class_orders_go(labels, seed, rest, Nat.add(next, 1n),
67        List.append(&2, List<&2, Nat>, acc, Con{shuffled_class(labels, next, seed), Nil{}}))