def checked

bendtorch-core@0.1.0.0 · src/autograd/sgd.bend:180

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

180def checked(+lr: F32, entries: List<&1, Backward.Entry>, +count: Nat, +params: List<&2, Nat>, refused: Maybe<&2, Error>) ->
181  Backward.Tape & Result<&2, &2, Error, Unit>:
182  match refused:
183    case Some{error}:
184      (Backward.Tape{entries}, Fail{error})
185    case None{}:
186      rated(lr, entries, count, params, rate_refusal(lr))