~/jendhub

def descended

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

import bendtorch-core@0.1.0.0/src/autograd/sgd.bend as Sgd
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/autograd/gradient.bend as Gradient
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as Backward

99def descended(node: Backward.Node, +shape: Shape.Shape, saved: Backward.Saved,
100  pair: (Core.Dynamic & Core.Dynamic) & Result<&2, &1, Core.Error, Core.Dynamic>) -> Backward.Entry & Result<&2, &2, Error, Unit>:
101  (operands, result) = pair
102  (value, g) = operands
103  match result:
104    case Fail{error}:
105      (Backward.Entry{node, shape, value, saved, Gradient.Held{g}}, Fail{TensorError{error}})
106    case Done{updated}:
107      (Backward.Entry{node, shape, updated, saved, Gradient.Held{g}}, Done{Unit{}})

Uses (12)

Used by (2)