def loss_recorded

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward.bend:1196

import Base
import bendtorch-core@0.1.0.0/src/autograd/loss.bend as Loss

1196def loss_recorded(node: Node, entries: List<&1, Entry>, result: Result<&2, &1, Loss.Error, Loss.Recorded>) ->
1197  Tape & Result<&2, &2, Error, Nat>:
1198  match result:
1199    case Fail{error}:
1200      (Tape{entries}, Fail{LossError{error}})
1201    case Done{Loss.Recorded{loss, left, right}}:
1202      push(node, loss, Operands{left, right}, entries)