type Delivered

bendtorch-core@0.1.0.0 · src/autograd/tensor_chain_PROOF.bend:157

import Base
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
import bendtorch-core@0.1.0.0/src/autograd/tensor_chain_LAWS.bend as Laws

157# A whole list of contributions delivered into any push-side state.
158type Delivered<-items: Laws.Log(), -state: Laws.Slots(), -count: Nat, -slots: List<&1, Gradient.Slot>, -log: Laws.Log()> is Type:
159  Delivered{after: Laws.Slots(), delivered: {after == Backward.deliver(items, count, state) : Laws.Slots()},
160    pushed: Pushed(after, slots, count, List.reverse.go(&1, Backward.Contribution, items, log))}