law accumulate_valid_success

bendtorch-core@0.1.0.0 · src/autograd/gradient_LAWS.bend:138

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/tensor/elementwise_totality.bend as Totality
import bendtorch-core@0.1.0.0/src/autograd/gradient.bend as Gradient

138# A contribution and a slot that both agree with the slot's shape always
139# accumulate.
140law accumulate_valid_success:
141  for +shape: Shape.Shape
142  for slot: Gradient.Slot
143  for contribution: Core.Dynamic
144  for fits: Fits(shape, slot)
145  for agrees: {Totality.dimensions(contribution) == Shape.dimensions(shape) : List<&2, U32>}
146  Success<Gradient.accumulate(shape, slot, contribution)>