def emit_front

unified-nsga-iii@0.2.2.0 · algorithm.bend:443

import unified-nsga-iii@0.2.2.0/algorithm.bend as Algorithm
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

443def emit_front(xs: List<&2, Ind.Individual>) -> IO(Unit):
444  match xs:
445    case Nil{}:
446      do IO<Unit>:
447        return Unit{}
448    case ind <> rest:
449      do IO<Unit>:
450        IO.print(Util.show_f32s(Ind.objectives(ind)))
451        emit_front(rest)

Uses (9)

Used by (0)

No other definition uses this definition.