type Passed

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

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

499# What a backward's pass does, with the chained answer when it succeeds.
500type Passed<-entries: List<&1, Backward.Entry>, -count: Nat, -output: Nat, -selected: Bool, -slots: List<&1, Gradient.Slot>> is Data:
501  PassKept{-done: List<&1, Backward.Entry>, -gradients: List<&1, Gradient.Slot>,
502    passed: {Backward.pass(entries, count, output, selected) == (done, Done{gradients}) : Backward.Swept()},
503    chained: {Laws.chained(entries, slots, count, Nil{}) == Done{gradients} : Laws.Slots()}}
504  PassStopped{-done: List<&1, Backward.Entry>, -error: Backward.Error,
505    passed: {Backward.pass(entries, count, output, selected) == (done, Fail{error}) : Backward.Swept()}}