def col_max_idx

unified-nsga-iii@0.2.2.0 · normalization.bend:103

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

103def col_max_idx(+pop: List<&2, Ind.Individual>, idxs: List<&2, Nat>) -> List<&2, F32>:
104  match idxs:
105    case Nil{}:
106      col_max(pop)
107    case +i <> +rest:
108      +xs = {i <> rest : List<&2, Nat>}
109      col_max_idx.go(pop, Util.list_len(Nat, xs), xs)