def newer_kept

bendtorch-core@0.1.0.0 · src/autograd/sgd_LAWS.bend:87

import Base
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as Backward
import bendtorch-core@0.1.0.0/src/autograd/sgd.bend as Sgd

87# The entries newer than the parameter, kept in front of the result.
88def newer_kept(newer: List<&1, Backward.Entry>, walked: Sgd.Walked()) -> Sgd.Walked():
89  match newer:
90    case Nil{}:
91      walked
92    case Con{entry, rest}:
93      Sgd.kept(entry, newer_kept(rest, walked))