def rows_of.go

unified-nsga-iii@0.2.2.0 · non_dominated_sort.bend:44

import Base
import unified-nsga-iii@0.2.2.0/individual.bend as Ind

44def rows_of.go(pop: List<&2, Ind.Individual>, +i: Nat) -> List<&2, Row>:
45  match pop:
46    case Nil{}:
47      Nil{}
48    case +h <> t:
49      Row{i, Ind.objectives(h), Ind.constraint_violation(h)} <> rows_of.go(t, 1n+i)